fminf
float fminf(float, float) __pure2;
TEST(fminf, float, big, small, expected_min, rmode);
TEST(fminf, float, small, big, expected_min, rmode);