summaryrefslogtreecommitdiff
path: root/site
diff options
context:
space:
mode:
authorpommicket <pommicket@gmail.com>2025-09-09 13:42:15 -0400
committerpommicket <pommicket@gmail.com>2025-09-09 13:43:07 -0400
commitf6ff1956bc20c7852f6f24ddf068ee6d44cfa97b (patch)
tree87d31528a4864dd6b634bab73f693ae9f48e7f3f /site
parentaefecd6b6a923643bf6ee6e519804d9688803516 (diff)
Clarify that .7 is not allowed as a Float
Diffstat (limited to 'site')
-rw-r--r--site/spec.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/site/spec.html b/site/spec.html
index 805dcd1..d5da143 100644
--- a/site/spec.html
+++ b/site/spec.html
@@ -497,6 +497,7 @@ and for my.nephews.car.id is String (no schema key matches, so the default of St
(e.g. <code>3e5</code>, <code>3.E-5</code>, <code>-3.7e+5</code>).
Excessive leading zeroes are not permitted (<code>0.0</code> is allowed, but not <code>00.0</code>).
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.
<li>
<code>'</code><i>value</i><code>'</code> —