Fix float64 formatting.