On 2020-08-31 11:58 -0400, Wolfgang Corcoran-Mathe wrote:
> 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?

I meant bytevector-ieee-{single, double}-ref, of course.

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

"All this currying's just a phase, though it seldom hinders."
--Fritz Ruehr