> unless the unsigned Integer is fully underflow checked at runtime. Sure. That doesn't mean the datatype wouldn't be nice to have even with such checks. There

> unless the unsigned Integer is fully underflow checked at runtime. Sure. That doesn't mean the datatype wouldn't be nice to have even with such checks. There are languages out there that fully check over- and underflow. Java could too.