From 3fbfb65480855813810120392846e31e3b565a1e Mon Sep 17 00:00:00 2001
From: kukimik <53443372+kukimik@users.noreply.github.com>
Date: Tue, 7 Nov 2023 22:58:53 +0100
Subject: [PATCH] doc fix: Integers are no longer opaque

---
 dhall/src/Dhall/Tutorial.hs | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/dhall/src/Dhall/Tutorial.hs b/dhall/src/Dhall/Tutorial.hs
index 8560d0e2c..ad7cc7ebe 100644
--- a/dhall/src/Dhall/Tutorial.hs
+++ b/dhall/src/Dhall/Tutorial.hs
@@ -1882,9 +1882,13 @@ import Dhall
 -- >
 -- > (input):1:1
 --
--- In fact, there are no built-in functions for @Integer@s (or @Double@s) other
--- than @Integer/show@ and @Double/show@.  As far as the language is concerned
--- they are opaque values that can only be shuffled around but not used in any
+-- There are no built-in functions for @Integer@ arithmetic; however, conversion
+-- to and from @Natural@s is possible usinng @Integer/clamp@, @Integer/negate@
+-- and @Natural/toInteger@.
+--
+-- For @Double@s the situation is even more extreme: there are no built-in
+-- functions other than @Double/show@. As far as the language is concerned they
+-- are opaque values that can only be shuffled around but not used in any
 -- meaningful way until they have been loaded into Haskell.
 --
 -- Second, the equality @(==)@ and inequality @(!=)@ operators only work on