i > i32 ^ i
