[issue13882] PEP 410: Use decimal.Decimal type for timestamps

[STINNER Victor]

STINNER Victor <victor.stinner at haypocalc.com> added the comment:

Patch version 12:

 * os.stat().st_birthtime uses also the timestamp argument
 * Add an optional timestamp argument to os.wait3() and os.wait4(): change type of utime and stime attributes of the resource usage
 * os.stat() changes the timestamp resolution depending if nanosecond resolution is available or not

I realized that resource.getrusage() should also be modified. I will maybe do that in another version of the patch, or maybe change resource usage in another patch.

----------
Added file: http://bugs.python.org/file24448/time_decimal-12.patch

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue13882>
_______________________________________