Elimination of carry propagation in digital computers