[banachtarski]

That's not true. Unsigned wrap is well-defined and wraps around to 0. Signed wrap is undefined.

[cautious_int]

It is not true that unsigned wrap is defined? Did you even read my comment, here is the relevant part: unsigned wrap is defined