On 2020-08-29 20:32 -0400, John Cowan wrote:
> > 3) make do the comparison only after converting the lower precision nan to
> > the higher precision nan first.
> >
> > #3 makes the most sense to me
> >
>
> I agree.  Added text:
>
> If <em>nan1</em> and <em>nan2</em> are of different precisions,
> the lower-precision value is converted to at least the precision
> of the other value.

Is there anything a portable implementation can do to cover this?
Since we lack (I believe) procedures to inspect precision, would some
sort of ad-hoc test comparing the results of both
bytevector-ieee-single-set! and bytevector-ieee-double-set! be
necessary?

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"If one is searching for a needle in a haystack, look in the part
of the haystack that contains more needles." --Bird & Wadler