From e6f7c180de3553dbb4ebd3969f5da4423dafc4bd Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Fri, 12 Aug 2022 13:18:59 +0200
Subject: [PATCH] add floating point number

---
 doc/manual/src/language/index.md | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/doc/manual/src/language/index.md b/doc/manual/src/language/index.md
index 8241cd0cd..e623bc540 100644
--- a/doc/manual/src/language/index.md
+++ b/doc/manual/src/language/index.md
@@ -53,7 +53,7 @@ the rest.
        ```
     </td>
     <td>
-      A multiline string. Strips common prefixed whitespace. Evaluates to `"multi\n line\n  string"`.
+      A multi-line string. Strips common prefixed whitespace. Evaluates to `"multi\n line\n  string"`.
     </td>
   </tr>
   <tr>
@@ -80,6 +80,14 @@ the rest.
       An integer
     </td>
   </tr>
+  <tr>
+    <td>
+       `3.141`
+    </td>
+    <td>
+      A floating point number
+    </td>
+  </tr>
   <tr>
     <td>
        `./foo.png`