summaryrefslogtreecommitdiff
path: root/site
diff options
context:
space:
mode:
authorpommicket <pommicket@gmail.com>2025-09-09 13:52:49 -0400
committerpommicket <pommicket@gmail.com>2025-09-09 13:52:49 -0400
commit545e25de5b3ca2658c7d2676d28e5168f88ded76 (patch)
tree33f9df911d1aa95d010f3fd691056623fe90d4b1 /site
parentf6ff1956bc20c7852f6f24ddf068ee6d44cfa97b (diff)
Clarify that overflowing floats are allowed
Diffstat (limited to 'site')
-rw-r--r--site/spec.html3
1 files changed, 2 insertions, 1 deletions
diff --git a/site/spec.html b/site/spec.html
index d5da143..5ff5146 100644
--- a/site/spec.html
+++ b/site/spec.html
@@ -494,8 +494,9 @@ and for my.nephews.car.id is String (no schema key matches, so the default of St
<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>3e5</code>, <code>3.E-5</code>, <code>-3.7e+5</code>).
+ (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.
White space around the number is not permitted.
The decimal point (if one is present) must be preceded by a digit.
A leading <code>+</code> (or, of course, <code>-</code>) is permitted.