Closest/
Closest2Plus/
Closest2Prop/
ClosestMult/
ClosestPlus/
ClosestProp/
Digit/
ex/
Faux/
Fbound/
Fcomp/
Finduct/
Float/
Fmin/
FminOp/
Fnorm/
Fodd/
Fop/
FPred/
Fprop/
Fround/
FroundMult/
FroundPlus/
FroundProp/
FSucc/
MSB/
MSBProp/
Option/
Paux/
Power/
sTactic/
Zdivides/
Zenum/