Rewrite timescmd() function to avoid the use of floating point and to
correct a bug in the seconds display where something like 65 seconds
would be output as "1m65.000000s".
»
Everything looks good. We'll let you know here if there's anything you should know about.
