*# *^ +# +^ -# -^ cmpInteger cmpNat dec div2 divInteger divModInteger fromBinInt fromNat'post fromNat inc lteqInteger mod2 modInteger mult2 neg pred quotInteger quotRemInteger quotRemNat remInteger succ toBinInt toNat'pre toNat