Add float64 conversion