How computers add numbers