That's equally useful for pointer arithmetic. Think arrays, strings,
pointer walks, even things like Floyd's algorithm (smart optimizers can
even spot the relationship between the tortoise and the hare: allowing for
the hare to wrap around would ruin that).