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