diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet
index e2f0b11..9454583 100644
--- a/books/bookvol10.3.pamphlet
+++ b/books/bookvol10.3.pamphlet
@@ -118197,9 +118197,15 @@ SimpleFortranProgram(R,FS): Exports == Implementation where
\end{chunk}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{domain SINT SingleInteger}
-The definition of {\bf one?} has been rewritten
-as it relies on calling {\bf ONEP} which is a function specific
-to Codemist Common Lisp but is not defined in Common Lisp.
+
+This type represents finite (machine) precision integers which wrap
+around at a machine dependent value. However, {\bf SingleInteger} has
+type {\bf EntireRing} which should have no non-zero divisors. But
+\[ (2**16:SINT)**2 = 0\]
+on a 32 bit machine. Using {\bf SingleInteger} is a pragmatic
+efficiency choice. In this condition, Axiom will complain that the
+result is not of type FIXNUM, which is the Common Lisp type for
+machine integers.
\begin{chunk}{SingleInteger.input}
)set break resume
diff --git a/changelog b/changelog
index b857073..dd1b005 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20140629 tpd src/axiom-website/patches.html 20140629.05.tpd.patch
+20140629 tpd books/bookvol10.3 add information to SingleInteger
20140629 tpd src/axiom-website/patches.html 20140629.04.tpd.patch
20140629 tpd Makefile default to notests for users
20140629 tpd src/axiom-website/patches.html 20140629.03.tpd.patch
diff --git a/patch b/patch
index 416c5c6..63f0393 100644
--- a/patch
+++ b/patch
@@ -1,12 +1,10 @@
-Makefile default to notests for users
+books/bookvol10.3 add information to SingleInteger
-Users see failing tests and complain. Some tests are intended to fail.
-These can be enabled from the command line, e.g.
- make TESTSET=regresstests
-
-The available options are
-richtests -- the Albert Rich integration tests (very long time)
-catstests -- the computer algebra test suite CATS (very long time)
-regresstests -- the src/input and algebra tests (normal)
-alltests -- very long time
-notests -- skip the tests
+This type represents finite (machine) precision integers which wrap
+around at a machine dependent value. However, {\bf SingleInteger} has
+type {\bf EntireRing} which should have no non-zero divisors. But
+\[ (2**16:SINT)**2 = 0\]
+on a 32 bit machine. Using {\bf SingleInteger} is a pragmatic
+efficiency choice. In this condition, Axiom will complain that the
+result is not of type FIXNUM, which is the Common Lisp type for
+machine integers.
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index efdea5c..22c699c 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4510,6 +4510,8 @@ books/bookvolbib add Vict11, Vict12 to Advanced Documentation
src/axiom-website/documentation.html add McNamara quote
20140629.04.tpd.patch
Makefile default to notests for users
+20140629.05.tpd.patch
+books/bookvol10.3 add information to SingleInteger