Alan Watson correctly pointed out that it's impossible to require this in a sensible way, essentially because of (eqv? +nan.0 nan+0) => unspecified I've weakened to spec of `put-datum' accordingly, essentially by changing the "must" to a "should". -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla