K 10 svn:author V 3 des K 8 svn:date V 27 2003-11-07T16:33:45.000000Z K 7 svn:log V 167 Add a command-line option to format output for human readability. Currently, the only effect it has is to print some (but not all) numbers using thousands separators. END