software FPU emulation by Richard Henderson, Jakub Jelinek and others