optimize addition/multiplication of algebraic reals where one operand is a rational
clean up Data.AlgebraicNumber.Real a bit
optimize Data.AlgebraicNumber.Real a bit