RetroSearch Browse

Fri Feb 3 02:25:53 CET 2012 · http://mail.python.org/pipermail/python-dev/2012-February/116150.html

On Thu, 2 Feb 2012 16:25:25 +0100
Victor Stinner <victor.stinner at haypocalc.com> wrote:
> > That said, I don't understand why we couldn't simply deprecate
> > stat_float_times() right now. Having an option for integer timestamps
> > is pointless, you can just call int() on the result if you want.
> 
> So which API do you propose for time.time() to get a Decimal object?
> 
> time.time(timestamp=decimal.Decimal)
> time.time(decimal=True) or time.time(hires=True)

time.time(type=decimal.Decimal) sounds fine.

If you want a boolean argument, either `decimal=True` or `exact=True`.

Regards

Antoine.

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from http://mail.python.org/pipermail/python-dev/2012-February/116150.html below:

[Python-Dev] PEP: New timestamp formats