half(i32 / 1)
