spec: clarify negative vs positive integers.

Negative integers are encoded in same way as positive integers.
The only change is the value of vd.

binc does not use 2's complement.