Understanding the x86's Decimal Adjust after Addition (DAA)