Agreed. Integer overflow, in particular, should be implementation-defined, and implementations should have a means to indicate whether they wrap around in two'

Agreed. Integer overflow, in particular, should be implementation-defined, and implementations should have a means to indicate whether they wrap around in two's- or ones'-complement, clamp, signal, or do something else.