Index - N
| N0# | Arithmetic.Nat |
| N1# | Arithmetic.Nat |
| N1024# | Arithmetic.Nat |
| N128# | Arithmetic.Nat |
| N16# | Arithmetic.Nat |
| N16384# | Arithmetic.Nat |
| N2# | Arithmetic.Nat |
| N2048# | Arithmetic.Nat |
| N256# | Arithmetic.Nat |
| N3# | Arithmetic.Nat |
| N32# | Arithmetic.Nat |
| N4# | Arithmetic.Nat |
| N4096# | Arithmetic.Nat |
| N5# | Arithmetic.Nat |
| N512# | Arithmetic.Nat |
| N6# | Arithmetic.Nat |
| N64# | Arithmetic.Nat |
| N7# | Arithmetic.Nat |
| N8# | Arithmetic.Nat |
| N8192# | Arithmetic.Nat |
| Nat | |
| 1 (Type/Class) | Arithmetic.Unsafe, Arithmetic.Types |
| 2 (Data Constructor) | Arithmetic.Unsafe |
| Nat# | |
| 1 (Type/Class) | Arithmetic.Unsafe, Arithmetic.Types |
| 2 (Data Constructor) | Arithmetic.Unsafe |
| nativeFrom32# | Arithmetic.Fin |
| nativeTo32# | Arithmetic.Fin |