Algebra.RealField

class C a