I can't afford the slow down from a global -ieee-fp true argument. I also can't afford to have the hash table keep a Word64.word because I might have really a huge number of entries in the table. There definitely should not be any `numerical artifacts' because going from a 64-bit to an 80-bit real is one-to-one.