i32 > i ^ i32
