Algebra.ToInteger

class C a

fromIntegral

ringPower

fieldPower