half(i / i64)
