[issue13882] Add format argument for time.time(), time.clock(), ... to get a timestamp as a Decimal object

[STINNER Victor]

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

> Another possible format would be "tuple"

Or, I forgot an obvious format: "datetime"!

----------

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