Re: [Python-ideas] Proposal: Using % sign for percentage