{-
Convert a `Natural` number to the corresponding `Integer`

Examples:

```
./toInteger +3 = 3

./toInteger +0 = 0
```
-}
let toInteger : Natural → Integer = Natural/toInteger in toInteger