signed
noovf
++   +-   -+    --
3 5  3 -5 -3 5  -3 -5
5 3  5 -3 -5 3  -5 -3
ovf
+-                          -+
maxint -5             minint 5
5      minint         -5     maxint

unsigned
noovf
++ +- -+ --
ovf
++ +- -+ --