[Python-Dev] PEP 410 (Decimal timestamp): the implementation is ready for a review (original) (raw)
Victor Stinner victor.stinner at gmail.com
Mon Feb 13 22:47:09 CET 2012
- Previous message: [Python-Dev] PEP 410 (Decimal timestamp): the implementation is ready for a review
- Next message: [Python-Dev] How to round timestamps and durations?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Antoine Pitrou conviced me to drop simply the int type: float and Decimal are just enough. Use an explicit cast using int() to get int. os.stat_float_times() is still deprecated by the PEP.
Victor
- Previous message: [Python-Dev] PEP 410 (Decimal timestamp): the implementation is ready for a review
- Next message: [Python-Dev] How to round timestamps and durations?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]