If that was the intent, then overflow should have been classified as enumerated implementation-defined behavior, just like the bit representation of an integer

If that was the intent, then overflow should have been classified as enumerated implementation-defined behavior, just like the bit representation of an integer type which already deals with those variations.