i ^ i32 >= max(i64)
