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