i64 / i * f32
