Floating-point emulator