modff
float modff(float, float *);
d2 = modff(d1, &ip);
f = modff(x, &i);
f = modff(-x, &i);
f = modff(x, &i);
f = modff(x, &i);
f = modff(x, &i);
ATF_TP_ADD_TC(tp, modff);
ATF_TC(modff);
ATF_TC_HEAD(modff, tc)
ATF_TC_BODY(modff, tc)