1 static int
java_double_finite(d)2 java_double_finite (d)
3      double  d;
4 {
5   long long  *ip = (long long  *) &d;
6   return (*ip & 0x7ff0000000000000LL ) != 0x7ff0000000000000LL ;
7 }
8