half(i32 - 0.5)
