[Coco] Convert floating point formats

[James Jones]

On Fri, May 24, 2019 at 9:30 AM Alex Evans <varmfskii at gmail.com> wrote:

> I don't have a line to a particular solution (though they should be
> easy to implement), but do you mean IEEE double precision as is used
> on current x86 CPUs, or are you saying that there was some other
> floating point format used by x86 FPUs such as the 8087 sometime in
> the past that you are interested in converting to/from. I also was
> under the impression that the Microware C Compiler used IEEE floating
> point in which case no conversion needs to be made, it is already in
> the right format.
>

The switch to IEEE 754 floating point came with OS-9/68000.