truncf
float truncf(float);
ATF_CHECK(truncf(x) < SMALL_NUM);
ATF_CHECK(truncf(y) < SMALL_NUM);
ATF_CHECK(isnan(truncf(x)) != 0);
float y = truncf(x);
float y = truncf(x);
float y = truncf(x);
float y = truncf(x);