Hot: double-digitaddition