Re: [Python-Dev] PEP 515: Underscores in Numeric Literals