diff --git a/index.html b/index.html index 401bc588..3414c2c6 100644 --- a/index.html +++ b/index.html @@ -5166,6 +5166,14 @@
xsd:integer
or xsd:double
are converted
to JSON numbers,
+ "+INF"^^xsd:double
, in which instance useNativeTypes flag is ignored,
+ and the literal value is kept in string form,
+ in accordance with RFC 8785, Appendix D. Dealing with Big Numbers.
+