1  /* Public domain.  */
       2  extern double __floatsidf (long);
       3  
       4  double __floathidf (int);
       5  
       6  double
       7  __floathidf (int u)
       8  {
       9    return __floatsidf ((long)u);
      10  }