refined Binary Adder