Half-carry-add