IEEE float co-processors

[David C. Plummer <DCP@SCRC-QUABBIN.ARPA>]

I think I agree with what you two are talking about.  It is critical
that the answer be of the correct type.  We (Symbolics) used to have a
proceed option such that if a single float computation overflowed, the
user could continue using double floats.  We got rid of that after we
realized that was tempting users to believe they had more accuracy than
they actually had.  It all goes back to: If you are going to use
floating point, you better know what you are doing.