[0xblood]

I don't really understand it, wouldn't this just trade the checks and corner cases you have to pay attention to with different set of corner cases? If I have an integer that can approach INT_MIN, I know I have to pay attention to overflows when using it and this proposal helps with at most some fraction of the problems that can arise. And what's the great benefit, that it get's a bit more "elegant"? If you want to write "safe" software and have the compiler enforce it, go use Rust/Ada/Spark instead.