> On Jun 7, 2017, at 7:25 PM, William D Clinger <xxxxxx@ccs.neu.edu> wrote:
>
>  I have made that change in the portable implementation,
> which is now complete except for these procedures:

Will:

I think your implementation of fl+* may not do what you want (what does (exact x) return when x is an infinity or NaN?).

This page

http://en.cppreference.com/w/c/numeric/math/fma

covers the various situations where the arguments are infinities or NaNs.

It’s not pretty …

Brad