f64 * f32 - f64
