1main()
2{
3  double x,y=0.5;
4  x=y/0.2;
5  if(x!=x)
6    abort();
7  exit(0);
8}
9