f64 / i * i32
