I wrote a mistake. Carries can be ignored as the additions are made on the high-order word of the result.