Re: [Python-Dev] PEP 515: Underscores in Numeric Literals (revision 3)