Index
| * | Numeric.NumType |
| + | Numeric.NumType |
| - | Numeric.NumType |
| / | Numeric.NumType |
| decr | Numeric.NumType |
| Div | Numeric.NumType |
| incr | Numeric.NumType |
| Mul | Numeric.NumType |
| Neg | Numeric.NumType |
| Neg1 | Numeric.NumType |
| neg1 | Numeric.NumType |
| Neg2 | Numeric.NumType |
| neg2 | Numeric.NumType |
| Neg3 | Numeric.NumType |
| neg3 | Numeric.NumType |
| Neg4 | Numeric.NumType |
| neg4 | Numeric.NumType |
| Neg5 | Numeric.NumType |
| neg5 | Numeric.NumType |
| Negate | Numeric.NumType |
| negate | Numeric.NumType |
| NegType | Numeric.NumType |
| NonZero | Numeric.NumType |
| NumType | Numeric.NumType |
| Pos | Numeric.NumType |
| Pos1 | Numeric.NumType |
| pos1 | Numeric.NumType |
| Pos2 | Numeric.NumType |
| pos2 | Numeric.NumType |
| Pos3 | Numeric.NumType |
| pos3 | Numeric.NumType |
| Pos4 | Numeric.NumType |
| pos4 | Numeric.NumType |
| Pos5 | Numeric.NumType |
| pos5 | Numeric.NumType |
| PosType | Numeric.NumType |
| Succ | Numeric.NumType |
| Sum | Numeric.NumType |
| toNum | Numeric.NumType |
| Zero | Numeric.NumType |
| zero | Numeric.NumType |