Refined Binary Adder Engine