In this particular case, we aren't ever printing anything else than
0.000 anyway.
Signed-off-by: Ronald S. Bultje <rsbultje@gmail.com>