overflow in binary subtraction - Search