1/* Public domain.  */
2typedef int SItype __attribute__ ((mode (SI)));
3typedef unsigned int USItype __attribute__ ((mode (SI)));
4typedef float XFtype __attribute__ ((mode (XF)));
5
6XFtype
7__floatunsixf (USItype u)
8{
9  SItype s = (SItype) u;
10  XFtype r = (XFtype) s;
11  if (s < 0)
12    r += (XFtype)2.0 * (XFtype) ((USItype) 1
13				 << (sizeof (USItype) * __CHAR_BIT__ - 1));
14  return r;
15}
16