#floating-point emulation