f64 - f32 * f64
