__ieee754_remainder
extern double __ieee754_remainder __P((double,double));
return __ieee754_remainder(x,y);
z = __ieee754_remainder(x,y);