Floating point format in String.format.