static int
java_double_finite (d)
double d;
{
long long *ip = (long long *) &d;
return (*ip & 0x7ff0000000000000LL ) != 0x7ff0000000000000LL ;
}