__ieee754_fmodf
if (hp<=0x7effffff) x = __ieee754_fmodf(x,p+p); /* now x < 2p */
extern float __ieee754_fmodf __P((float,float));
return __ieee754_fmodf(x,y);
z = __ieee754_fmodf(x,y);