Subtraction with borrowing