Re: [Python-ideas] Input characters in strings by decimals (Was: Proposal for default character representation)