1  /* Public domain.  */
       2  typedef int HItype __attribute__ ((mode (HI)));
       3  typedef unsigned int UHItype __attribute__ ((mode (HI)));
       4  typedef float DFtype __attribute__ ((mode (DF)));
       5  
       6  extern DFtype __floatunsidf (unsigned long);
       7  
       8  DFtype __floatunhidf (UHItype);
       9  
      10  DFtype
      11  __floatunhidf (UHItype u)
      12  {
      13    return __floatunsidf ((unsigned long)u);
      14  }