Use slightly more appropriate format strings for printing decimal values.