what's this constant ?

["Michael Gong" <mwgong@xxxxxxxxxxxxxx>]

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