#include
#include
int main(void)
{
printf("isfinite(-1.0) %d\n", isfinite(-1.0));
printf("isfinite(1.0) %d\n", isfinite(1.0));
printf("isfinite(1.0/0.0) %d\n", isfinite(1.0/0.0));
return 0;
}
/*
isfinite(-1.0) 1
isfinite(1.0) 1
isfinite(1.0/0.0) 0
*/