[Python-ideas] Re: Overloading unary plus in strings with "ord"