On: Signed Integers Are Two’s Complement

[sanxiyn]

The point is that signed integers are two's complement. After all, it is the title.

[barrkel → sanxiyn]

Naive overflow checks are often done by adding two positive numbers together and checking if the result is negative. If wrapping is undefined, this no longer works, and the overflow check may be eliminated.