For os.stat() & friends, note that the time fields are returned as
floating-point values.
diff --git a/Doc/lib/libos.tex b/Doc/lib/libos.tex
index 073d859..e7683ce 100644
--- a/Doc/lib/libos.tex
+++ b/Doc/lib/libos.tex
@@ -710,7 +710,9 @@
\code{st_atime},
\code{st_mtime},
\code{st_ctime}.
-More items may be added at the end by some implementations.
+More items may be added at the end by some implementations. Note that
+on the Macintosh, the time values are floating point values, like all
+time values on the Macintosh.
(On MS Windows, some items are filled with dummy values.)
Availability: Macintosh, \UNIX{}, Windows.