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

[Antoine Pitrou]

Antoine Pitrou <pitrou at free.fr> added the comment:

Well, creating a separate module is an anti-pattern in itself. calendar vs. time vs. datetime, anyone?
I would instead propose separate functions: decimal_time, decimal_clock... or, if you prefer, time_decimal and so on.

----------
nosy: +pitrou

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