I would like to see a version of libfinalized.a where you have added
printf statements after the call to `ieee_init' to print the values of
eif_real_64_negative_infinity, etc that are set by ieee_init.
Also, perhaps some printf statements in `c_buffero_outr64' (in out.c) to print
these same values, plus the value of `d'.  Then we see what is different.

Unless you have a better idea.