From fd62eaa814609835c87df5f24633760552ce64ea Mon Sep 17 00:00:00 2001
From: pommicket <pommicket@gmail.com>
Date: Tue, 9 Sep 2025 11:42:42 -0400
Subject: Add interpretation tests for (u)int, disallow -2^63 as an int

---
 site/spec.html | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

(limited to 'site')

diff --git a/site/spec.html b/site/spec.html
index 7dcc957..f3178fd 100644
--- a/site/spec.html
+++ b/site/spec.html
@@ -471,18 +471,26 @@ and for my.nephews.car.id is String (no schema key matches, so the default of St
 	<li><code>None</code> — accepts an unset value (special—see below)</li>
 	<li><code>Empty</code> — accepts an empty value</li>
 	<li><code>Bool</code> — accepts <code>true</code>, <code>on</code>, <code>yes</code>,
-		<code>false</code>, <code>off</code>, <code>no</code> (case-sensitive).</li>
-	<li><code>UInt</code> — accepts any unsigned integer that fits in 63 [sic] bits,
-	written in decimal or <code>0x</code> or <code>0X</code>-prefixed hexadecimal.
+		<code>false</code>, <code>off</code>, <code>no</code> (case- and white space- sensitive).</li>
+	<li><code>UInt</code> — accepts any unsigned integer strictly less than 2<sup>63</sup>,
+		written in decimal or <code>0x</code> or <code>0X</code>-prefixed hexadecimal.
 		A leading <code>+</code> is permitted, but <code>-0</code> is not.
+		Leading zeroes are not permitted for decimal integers.
+		White space around the integer is not permitted.
 		Only 63 bits are allowed to support languages (Java) with no 64-bit unsigned integers.</li>
-	<li><code>Int</code> — accepts any (two’s complement) signed integer that fits in 64 bits,
+	<li><code>Int</code> — accepts any (two’s complement) signed integer whose absolute value
+		is strictly less than 2<sup>63</sup>
+		(NB: <code>INT64_MIN</code>/−2<sup>63</sup> is not allowed),
 		written in decimal or <code>0x</code> or <code>0X</code>-prefixed hexadecimal.
+		Leading zeroes are not permitted for decimal integers.
+		White space around the integer is not permitted.
 		A leading <code>+</code> (or, of course, <code>-</code>) is permitted.</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>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.
 		A leading <code>+</code> (or, of course, <code>-</code>) is permitted.
 	<li>
 		<code>'</code><i>value</i><code>'</code> —
-- 
cgit v1.2.3