Re: [Python-Dev] idea for data-type (data-format) PEP