Handle float32 as float64(double).