(i64 - 0.5) / i32
