Long subtraction of natural numbers