Index
| * | Numeric.NumType.TF |
| + | Numeric.NumType.TF |
| - | Numeric.NumType.TF |
| / | Numeric.NumType.TF |
| Add | Numeric.NumType.TF |
| decr | Numeric.NumType.TF |
| Div | Numeric.NumType.TF |
| incr | Numeric.NumType.TF |
| Mul | Numeric.NumType.TF |
| N | Numeric.NumType.TF |
| Neg1 | Numeric.NumType.TF |
| neg1 | Numeric.NumType.TF |
| Neg2 | Numeric.NumType.TF |
| neg2 | Numeric.NumType.TF |
| Neg3 | Numeric.NumType.TF |
| neg3 | Numeric.NumType.TF |
| Neg4 | Numeric.NumType.TF |
| neg4 | Numeric.NumType.TF |
| Neg5 | Numeric.NumType.TF |
| neg5 | Numeric.NumType.TF |
| Negate | Numeric.NumType.TF |
| negate | Numeric.NumType.TF |
| NumType | Numeric.NumType.TF |
| Pos1 | Numeric.NumType.TF |
| pos1 | Numeric.NumType.TF |
| Pos2 | Numeric.NumType.TF |
| pos2 | Numeric.NumType.TF |
| Pos3 | Numeric.NumType.TF |
| pos3 | Numeric.NumType.TF |
| Pos4 | Numeric.NumType.TF |
| pos4 | Numeric.NumType.TF |
| Pos5 | Numeric.NumType.TF |
| pos5 | Numeric.NumType.TF |
| Pred | Numeric.NumType.TF |
| S | Numeric.NumType.TF |
| Sub | Numeric.NumType.TF |
| Succ | Numeric.NumType.TF |
| toNum | Numeric.NumType.TF |
| Z | Numeric.NumType.TF |
| Zero | Numeric.NumType.TF |
| zero | Numeric.NumType.TF |