{-
Render a `Natural` number as `Text` using the same representation as Dhall
source code (i.e. a decimal number)

Examples:

```
./show 3 = "3"

./show 0 = "0"
```
-}
let show : Natural → Text = Natural/show in show