Re: [Python-ideas] Add a builtin method to 'int' for base/radix conversion