From cc3b920b4ca22acc66495bedd08e325ef40f33a2 Mon Sep 17 00:00:00 2001
From: Gregg Kellogg <gregg@greggkellogg.net>
Date: Mon, 15 Apr 2019 15:33:57 -0700
Subject: [PATCH 1/3] Update round-tripping of numbers to consider
 non-fractional numbers >= 0e21 and add test.

---
 index.html                  | 10 +++++++---
 tests/toRdf-manifest.jsonld |  8 ++++++++
 tests/toRdf/rt01-in.jsonld  |  6 ++++++
 tests/toRdf/rt01-out.nq     |  4 ++++
 4 files changed, 25 insertions(+), 3 deletions(-)
 create mode 100644 tests/toRdf/rt01-in.jsonld
 create mode 100644 tests/toRdf/rt01-out.nq

diff --git a/index.html b/index.html
index bff1300f..98a777af 100644
--- a/index.html
+++ b/index.html
@@ -4737,8 +4737,10 @@ <h2>Data Round Tripping</h2>
       representation as defined in [[XMLSCHEMA11-2]].</p>
 
     <p>The <a>canonical lexical form</a> of an <em>integer</em>, i.e., a
-      <a>number</a> with no non-zero fractional part or a <a>number</a>
-      coerced to <code>xsd:integer</code>, is a finite-length sequence of decimal
+      <a>number</a> with no non-zero fractional part
+      <span class="changed">and an exponent less than or equal to <code>21</code></code>,</span>
+      or a <a>number</a> coerced to <code>xsd:integer</code>,
+      is a finite-length sequence of decimal
       digits (<code>0-9</code>) with an optional leading minus sign; leading
       zeros are prohibited. In JavaScript, implementers can use the following
       snippet of code to convert an integer to
@@ -4753,7 +4755,9 @@ <h2>Data Round Tripping</h2>
     </pre>
 
     <p>The <a>canonical lexical form</a> of a <em>double</em>, i.e., a
-      <a>number</a> with a non-zero fractional part or a <a>number</a>
+      <a>number</a>
+      <span class="changed">which cannot be represented as an <em>integer</em></span>,
+      or a <a>number</a>
       coerced to <code>xsd:double</code>, consists of a mantissa followed by the
       character <code>E</code>, followed by an exponent. The mantissa is a
       decimal number and the exponent is an integer. Leading zeros and a
diff --git a/tests/toRdf-manifest.jsonld b/tests/toRdf-manifest.jsonld
index a273e9e2..1e8b012d 100644
--- a/tests/toRdf-manifest.jsonld
+++ b/tests/toRdf-manifest.jsonld
@@ -1175,6 +1175,14 @@
       "name": "literal_with_numeric_escape4",
       "purpose": "literal with numeric escape4 \\u from N-Triples",
       "input": "toRdf/nt16-in.jsonld"
+    }, {
+      "@id": "#trt01",
+      "@type": ["jld:PositiveEvaluationTest", "jld:ToRDFTest"],
+      "name": "Representing numbers >= 1e21",
+      "purpose": "numbers with no fractions but that are >= 1e21 are represented as xsd:double",
+      "option": {"specVersion": "json-ld-1.1"},
+      "input": "toRdf/rt01-in.jsonld",
+      "expect": "toRdf/rt01-out.nq"
     }
   ]
 }
diff --git a/tests/toRdf/rt01-in.jsonld b/tests/toRdf/rt01-in.jsonld
new file mode 100644
index 00000000..9aaa87be
--- /dev/null
+++ b/tests/toRdf/rt01-in.jsonld
@@ -0,0 +1,6 @@
+{
+  "@context": {
+    "number": {"@id": "http://example.com/number"}
+  },
+  "number": [-0e0, 8, 9.9, 1e21 ]
+}
diff --git a/tests/toRdf/rt01-out.nq b/tests/toRdf/rt01-out.nq
new file mode 100644
index 00000000..65c50746
--- /dev/null
+++ b/tests/toRdf/rt01-out.nq
@@ -0,0 +1,4 @@
+_:b0 <http://example.com/number> "0"^^<http://www.w3.org/2001/XMLSchema#integer> .
+_:b0 <http://example.com/number> "8"^^<http://www.w3.org/2001/XMLSchema#integer> .
+_:b0 <http://example.com/number> "9.9E0"^^<http://www.w3.org/2001/XMLSchema#double> .
+_:b0 <http://example.com/number> "1.0E21"^^<http://www.w3.org/2001/XMLSchema#double> .

From 4a3e1d8affd8c44e80bd191bf7390906509fb1f1 Mon Sep 17 00:00:00 2001
From: Dave Longley <dlongley@digitalbazaar.com>
Date: Mon, 15 Apr 2019 15:43:07 -0700
Subject: [PATCH 2/3] Update index.html

Co-Authored-By: gkellogg <gregg@greggkellogg.net>
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 98a777af..980276bf 100644
--- a/index.html
+++ b/index.html
@@ -4738,7 +4738,7 @@ <h2>Data Round Tripping</h2>
 
     <p>The <a>canonical lexical form</a> of an <em>integer</em>, i.e., a
       <a>number</a> with no non-zero fractional part
-      <span class="changed">and an exponent less than or equal to <code>21</code></code>,</span>
+      <span class="changed">and an exponent less than or equal to <code>21</code>,</span>
       or a <a>number</a> coerced to <code>xsd:integer</code>,
       is a finite-length sequence of decimal
       digits (<code>0-9</code>) with an optional leading minus sign; leading

From fde59dedbba79b8e9f7e64570f2d6166e5c4b0a5 Mon Sep 17 00:00:00 2001
From: Dave Longley <dlongley@digitalbazaar.com>
Date: Mon, 15 Apr 2019 16:49:00 -0700
Subject: [PATCH 3/3] Update index.html

Co-Authored-By: gkellogg <gregg@greggkellogg.net>
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 980276bf..c0eec129 100644
--- a/index.html
+++ b/index.html
@@ -4738,7 +4738,7 @@ <h2>Data Round Tripping</h2>
 
     <p>The <a>canonical lexical form</a> of an <em>integer</em>, i.e., a
       <a>number</a> with no non-zero fractional part
-      <span class="changed">and an exponent less than or equal to <code>21</code>,</span>
+      <span class="changed">and an exponent less than <code>21</code>,</span>
       or a <a>number</a> coerced to <code>xsd:integer</code>,
       is a finite-length sequence of decimal
       digits (<code>0-9</code>) with an optional leading minus sign; leading