i32 >= half(0.5)
