Improved number formatting.

Doubles are now shown with 2dp all the time, instead of just some of the
time.