remainderf
float remainderf(float, float);
return remainderf(x, y);
ATF_CHECK(isnan(remainderf(x, y)));
rem = remainderf(x, y);