Better number formatting.

Just a quick one for formatting.