Formats of signed integers.
Here we formalize the possible ways in which negative integers are encoded with respect to non-negative integers, i.e. two's complement, or ones' complement, or sign and magnitude. Although [C23] only supports two's complement, the other two are still relevant to support older versions of C.