range of int

book.tex

@@ -17067,7 +17067,7 @@ function for mapping types to tag codes.
 \end{align*}
 \fi}
 This stealing of 3 bits comes at some price: integers are now restricted
-to the range from $-2^{60}$ to $2^{60}$. The stealing does not adversely
+to the range from $-2^{60}$ to $2^{60}-1$. The stealing does not adversely
 affect tuples and procedures because those values are addresses, and
 our addresses are 8-byte aligned so the rightmost 3 bits are unused,
 they are always $000$. Thus, we do not lose information by overwriting