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