> There is (was) at least one "coprocessor" (really, i/o chip) for 8bit micros
> that does/did IEEE. I don't recall the name or manufacturer.

There were two math processors, 8231 and 8232.  I believe 8232 was Ieee FP
But I forget how many bits(32 I think).

Allison