Re: [Python-Dev] Splitting the PEP for adding a decimal type to Python