#include <math.h>
#include <stdio.h>

extern double a;

int main ()
{
  if (! isfinite (a))
    printf ("infinity detected\n");

  a = 1.0/1.0;

  if (isfinite (a))
    printf ("number is now finite\n");
  return 0;
}