Subtraction with no exchanging borrowing