I have a LSI-11/2 with single precision floating point hardware.
However, I need double precision (either 64 or 80 bits). Does anyone
have the algorithms for F+, F-, F*, and F/ that could be used? It would
be nice if they used the existing hardware instructions, but that is not