half(i32 / i64)
