4. Binary addition and overflow