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