PEP 327 -- Decimal Data Type - Decimal numbers in Python - Proposal for a Python extension