> 2. Crucial observation: -x == ~x + 1
To be annoyingly pedantic, this is not simply an observation, this is essentially the definition of 2's complement arithmetic.
To be annoyingly pedantic, this is not simply an observation, this is essentially the definition of 2's complement arithmetic.