summaryrefslogtreecommitdiff
path: root/site
diff options
context:
space:
mode:
authorpommicket <pommicket@gmail.com>2025-09-09 13:59:55 -0400
committerpommicket <pommicket@gmail.com>2025-09-09 13:59:55 -0400
commit0d3bec41d5513db4e5683e8dd2d7fffc342cb2fe (patch)
tree26e1da3f030712c4a9b09b8b0b388eb88aca507d /site
parent545e25de5b3ca2658c7d2676d28e5168f88ded76 (diff)
Disallow 7. also
Diffstat (limited to 'site')
-rw-r--r--site/spec.html7
1 files changed, 4 insertions, 3 deletions
diff --git a/site/spec.html b/site/spec.html
index 5ff5146..b9e55f7 100644
--- a/site/spec.html
+++ b/site/spec.html
@@ -493,12 +493,13 @@ and for my.nephews.car.id is String (no schema key matches, so the default of St
</li>
<li>
<code>Float</code> — A floating-point number, written in ordinary decimal
- (e.g. <code>-1.234</code>, <code>7.</code>, <code>265</code>) or in scientific notation
+ (e.g. <code>-1.234</code>, <code>7.</code>, <code>265</code>) or in C-like scientific notation
(e.g. <code>3e5</code>, <code>3.E-5</code>, <code>-3.7e+005</code>).
Excessive leading zeroes are not permitted (<code>0.0</code> is allowed, but not <code>00.0</code>).
- Values which overflow are allowed (e.g. <code>1e999</code>), but NaN and explicit Infinity are not.
+ Values which overflow to ±∞ are allowed (e.g. <code>1e999</code>), but NaN and explicit
+ <code>inf</code>/<code>Infinity</code> are not.
White space around the number is not permitted.
- The decimal point (if one is present) must be preceded by a digit.
+ The decimal point (if one is present) must be preceded and succeeded by digits.
A leading <code>+</code> (or, of course, <code>-</code>) is permitted.
<li>
<code>'</code><i>value</i><code>'</code> —