/* Public domain.  */
typedef int HItype __attribute__ ((mode (HI)));
typedef unsigned int UHItype __attribute__ ((mode (HI)));
typedef float DFtype __attribute__ ((mode (DF)));

extern DFtype __floatunsidf (unsigned long);

DFtype
__floatunhidf (UHItype u)
{
  return __floatunsidf ((unsigned long)u);
}