Interestingly, C23 and C++20 standardized 2's complement representation for signed integers but kept UB on signed overflow.