Thorsten,
Maybe we can have a GCC -m* flag that tells it to not emit those instructions? (Maybe call library functions then or something.)
-msoft-float? You don't want that enabled for machines that do have a FPU, though.Might be easier to add the odd FPU instruction to the emulator than support a separate -msoft-float compiled archive.
Andreas cautioned the emulation needs to deal with extended precision to be fully compliant - not sure whether we might be able to get away with a simple single precision hook to get python going.
Cheers, Michael