(f64 - f32) * i64
