1 ^ i32 >= i32
