1 files changed, 12 insertions, 4 deletions
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> —