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