Text this: A modification of the carry-propagation-free adder in a redundant binary multiplier /