f64 * f32 / f64
