Even with a defined precision they're weird in that they "ought to" be modeling the reals and therefore lack computable equality. Which makes it hard to write

Even with a defined precision they're weird in that they "ought to" be modeling the reals and therefore lack computable equality. Which makes it hard to write a well-defined hash.