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