diff options
author | pommicket <pommicket@gmail.com> | 2025-09-09 13:52:49 -0400 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2025-09-09 13:52:49 -0400 |
commit | 545e25de5b3ca2658c7d2676d28e5168f88ded76 (patch) | |
tree | 33f9df911d1aa95d010f3fd691056623fe90d4b1 /site | |
parent | f6ff1956bc20c7852f6f24ddf068ee6d44cfa97b (diff) |
Clarify that overflowing floats are allowed
Diffstat (limited to 'site')
-rw-r--r-- | site/spec.html | 3 |
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. |