Long subtraction