Algebra.ToRational

class C a

realToField