When support for floating-point stat times was added in 2.3, it was the plan that this should eventually become the default. Does anybody object if I change the default now, for Python 2.5? Applications which then break can globally change it back, with

os.stat_float_times(False)

Regards, Martin