NetWinder's floating point emulator