This proposal is for only one thing -- to make the following happen: >>> inf = '\u221e'>>> float(inf)inf>>>