binary subtraction cascading borrow case