There is not integer underflow. Wrapping around in either direction is called overflow, because the absolute value becomes too large in either case. Underflow refers to the floating-point case where a value becomes too small in absolute value to be representable by a non-zero value: https://en.m.wikipedia.org/wiki/Arithmetic_underflow