*# *^ +# +^ -# -^ cmpInteger cmpNat dec div2 divInteger divModInteger inc lteqInteger mod2 modInteger mult2 neg pred quotInteger quotRemInteger quotRemNat remInteger succ
*#
*^
+#
+^
-#
-^
cmpInteger
cmpNat
dec
div2
divInteger
divModInteger
inc
lteqInteger
mod2
modInteger
mult2
neg
pred
quotInteger
quotRemInteger
quotRemNat
remInteger
succ