i32 <= half(0.5)
