{- Render a `Double` as `Text` using the same representation as Dhall source code (i.e. a decimal floating point number with a leading `-` sign if negative) Examples: ``` ./show -3.1 = "-3.1" ./show 0.4 = "0.4" ``` -} let show : Double → Text = Double/show in show