optimize Data.AlgebraicNumber.Real a bit by omitting polynomial factorization