Of course subtraction never underflows when values are non-negative.