@defun user-real-uid
This function returns the real @sc{uid} of the user.
+The value may be a floating point number.
@example
@group
@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