denormal_to_double
denormal_to_double (&tsk->thread.xstate->hardfpu,
denormal_to_double(&tsk->thread.xstate->hardfpu,