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