i32 ^ i32 <= i64
