# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1058198392 0
# Node ID 9fbd3ef3087defb0914155295afce4c8c948377e
# Parent  3039afbb07469d74ae1c2de1a4d5c7a028537c01
(User Identification): user-uid, user-real-uid can return float.

diff -r 3039afbb0746 -r 9fbd3ef3087d lispref/os.texi
--- a/lispref/os.texi	Mon Jul 14 15:59:12 2003 +0000
+++ b/lispref/os.texi	Mon Jul 14 15:59:52 2003 +0000
@@ -917,6 +917,7 @@
 
 @defun user-real-uid
 This function returns the real @sc{uid} of the user.
+The value may be a floating point number.
 
 @example
 @group
@@ -928,6 +929,7 @@
 
 @defun user-uid
 This function returns the effective @sc{uid} of the user.
+The value may be a floating point number.
 @end defun
 
 @node Time of Day