BTW, at one point someone suggested writing a `portable' emulator --
basically a C-coded IEEE floating point emulator, similar to the SPARC
(and now 68k) versions.  This wouldn't entirely solve the problem, as some
of the instructions (at least on the Intel chips) don't directly
correspond to IEEE 854 primitives, and it would be slightly slower, but it
would make supporting emulation on many architectures much easier.

Anyone up to the task?