> (And I agree this is crazy: unsigned modular arithmetic would be fine, but they chose a signed result for pointer subtraction). But. Signed means that i < j

> (And I agree this is crazy: unsigned modular arithmetic would be fine, but they chose a signed result for pointer subtraction). But. Signed means that i < j implies that p + i < p + j, or that p < q implies that p - r < q - r.