{- Render a `Natural` number as `Text` using the same representation as Dhall source code (i.e. a decimal number with a leading `+` sign) Examples: ``` ./show +3 = "+3" ./show +0 = "+0" ``` -} let show : Natural → Text = Natural/show in show