Make float32-to-float64 conversion less frequent