use dummy functions to clean the FPU_ENABLED directives