The _ _DIVT_C intrinsic has the following declaration:
double __DIVT_C(double, double);
This intrinsic function returns the result of dividing the first argument by the second argument, with IEEE chopped rounding used. Both arguments and the result are in IEEE double-precision format.