[Python-ideas] Re: Perhaps allow leading zeroes in integer literals