(i32 + 1) / i64
