Fix FormatFloat for float64