"One can always avoid subtraction of unsigned types by changing to addition on the other side of" . . . .