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

[Alexander Belopolsky]

Changes by Alexander Belopolsky <alexander.belopolsky at gmail.com>:


----------
nosy: +mark.dickinson

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