[Python-Dev] PEP: New timestamp formats

Antoine Pitrou solipsis at pitrou.net
Fri Feb 3 02:25:53 CET 2012


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.




More information about the Python-Dev mailing list