half(i / i32)
