Add missing explanation.
C++ gurantees that the unsigned integers never overflow.