[Python-Dev] unicodedata.numeric (was RE: stupid floating point question...)