fmodf
float fmodf(float, float);
ATF_CHECK(fmodf(2.0, 1.0) == 0);
ATF_CHECK(fmodf(2.0, 0.5) == 0);
ATF_CHECK(fabsf(fmodf(1.0, 0.1) - 0.1f) <= 55 * FLT_EPSILON);