Re: [Python-ideas] Retain string form of AST Numbers