Если вычитать 2 беззнаковых числа - разница между ними не зависит от переполнения. (маленкий программистский хитрост)