i32 > half(0.5)
