Refactor binary addition