i32 >= i64 ^ i32
