<i>&quot;Unsigned integer&quot; is an oxymoron since integers are defined to include negative numbers.</i><p>That&#x27;s an odd definition of an oxymoron.  While &quot;integer&quot; if unmodified does include negative numbers, isn&#x27;t &quot;unsigned&quot; just an adjective, restricting the general category to the subset to the non-negative subset?  For example, is &quot;white swan&quot; an oxymoron because swans can be both black and white?<p>Interestingly, my first reaction reading your linked code was that not all &quot;integer overflow&quot; is undefined, only signed integer overflow.  Regardless of technical correctness, I thought about suggesting that it would read more clearly if you specified &quot;signed&quot; and &quot;unsigned&quot; rather than using &quot;integer&quot; to refer to what programmers refer to as &quot;signed&quot;.