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