[Python-ideas] Hexadecimal floating literals