Simplify Arb's mul and add handling