Class RealAlgebraicNumber<C extends GcdRingElem<C> & Rational>