> Suppose we denote the three variants of "+" as follows: > > +undef undefined behaviour on overflow > +wrap wraps on overflow > +trap traps on overflow I still don't see how +wrap differs from an unsigned addition, so it seems simply confusing to have it around explicitly.