what's this constant ?

[Michael Gong]

Hi,

I saw following function definition in libgcc2.c.

...

DFtype
__floatdidf (DItype u)
{
  DFtype d = (SItype) (u >> (4 * 8));
  d *= 0x1p32f;
  d += (USItype)u;
  return d;
}

Can anyone tell me what's the constant "0x1p32f" ? Is it a decimal 
floating pointer constant ?

Thanks.

Mike