i32 * (f64 - f32)
