Default stat_float_times to true.

Doc/lib/libos.tex

@@ -1012,17 +1012,13 @@ objects.  If newval is True, future calls to stat() return floats, if
 it is False, future calls return ints.  If newval is omitted, return
 the current setting.
 
-For compatibility with older Python versions, accessing
-\class{stat_result} as a tuple always returns integers. For
-compatibility with Python 2.2, accessing the time stamps by field name
-also returns integers. Applications that want to determine the
-fractions of a second in a time stamp can use this function to have
-time stamps represented as floats. Whether they will actually observe
-non-zero fractions depends on the system.
-
-Future Python releases will change the default of this setting;
-applications that cannot deal with floating point time stamps can then
-use this function to turn the feature off.
+\versionchanged[Python now returns float values by default. Applications
+which do not work correctly with floating point time stamps can use
+this function to restore the old behaviour]{2.5}
+
+The resolution of the timestamps (i.e. the smallest possible fraction)
+depends on the system. Some systems only support second resolution;
+on these systems, the fraction will always be zero.
 
 It is recommended that this setting is only changed at program startup
 time in the \var{__main__} module; libraries should never change this

Misc/NEWS

@@ -22,6 +22,8 @@ Core and builtins
 Extension Modules
 -----------------
 
+- stat_float_times is now True.
+
 - array.array objects are now picklable.
 
 - the cPickle module no longer accepts the deprecated None option in the

Modules/posixmodule.c

@@ -789,7 +789,7 @@ statresult_new(PyTypeObject *type, PyObject *args, PyObject *kwds)
 
 
 /* If true, st_?time is float. */
-static int _stat_float_times = 0;
+static int _stat_float_times = 1;
 
 PyDoc_STRVAR(stat_float_times__doc__,
 "stat_float_times([newval]) -> oldval\n\n\