binary addition overflow - Search