Having a constructor for every type of int avoids having the compiler evade our checks when doing implicit casts - e.g., SafeInt<char> s = 0x7fffffff;

Bitwise &

Addition

XOR

bitwise OR

One's complement Note - this operator will normally change size to an int cast in return improves perf and maintains type