half(i64 / i64)
