> But what's really at stake here is that users shouldn't expect
> reliable results from eqv? on two NaNs generated by different
> processes (where reading "+nan.0" counts as a process), even
> on a single system.
Ok. But currently R6RS doesn't guarantee that (eqv? x x) when x
is NaN, and it should.