refined Binary Adder Engine