float(f32) / f64
