. . "In a promotion from signed value v to unsigned value u you have u = v + K*R where R is the range of the unsigned type (with n-bits unsigned you have R = 2^n) and K is an integer, in practice 0 or 1." . .