[Python-Dev] PEP 410 (Decimal timestamp): the implementation is ready for a review

[Victor Stinner]

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