Make it clear that id() can return either a long integer or a plain integer.

diff --git a/Doc/lib/libfuncs.tex b/Doc/lib/libfuncs.tex
index 7fdb599be6bac7b8492dd0950c17f98f1faa2e50..3e6e3cbc4895c8f255ffc35c0ce4bc704f270c7a 100644 (file)
--- a/Doc/lib/libfuncs.tex
+++ b/Doc/lib/libfuncs.tex
@@ -302,11 +302,11 @@ module from which it is called).
 \end{funcdesc}
 
 \begin{funcdesc}{id}{object}
-  Return the `identity' of an object.  This is an integer which is
-  guaranteed to be unique and constant for this object during its
-  lifetime.  (Two objects whose lifetimes are disjunct may have the
-  same \function{id()} value.)  (Implementation note: this is the
-  address of the object.)
+  Return the `identity' of an object.  This is an integer (or long
+  integer) which is guaranteed to be unique and constant for this
+  object during its lifetime.  Two objects whose lifetimes are
+  disjunct may have the same \function{id()} value.  (Implementation
+  note: this is the address of the object.)
 \end{funcdesc}
 
 \begin{funcdesc}{input}{\optional{prompt}}