[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