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

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

the implementation is ready for a review

• 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 ]

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4