Fix printing of floating point values.