double set_to_DNAN(void) { return (double)fmod(0.0,0.0); }
double set_to_DINF(void) { return (double)fabs((double)log(0.0)); }
double set_to_DNAN(void) { return (double)fmod(0.0,0.0); }
double set_to_DINF(void) { return (double)fabs((double)log(0.0)); }