Re: [Python-ideas] Hexadecimal floating literals