arithmetic overflow vs carry - Search