Formatting floating point numbers. (via HN)