Numeric.Module.Representable
addRep
sinnum1pRep
zeroRep
sinnumRep
negateRep
minusRep
subtractRep
timesRep
mulRep
oneRep
fromNaturalRep
fromIntegerRep