INLINE int16 extractFloat64Exp( float64 a )

{



    return ( a>>52 ) & 0x7FF;



}

INLINE int16 extractFloat64Exp( float64 a )

{



    return ( a>>52 ) & 0x7FF;



}

INLINE VAR_0 extractFloat64Exp( float64 a )

{



    return ( a>>52 ) & 0x7FF;



}

INLINE VAR_0 extractFloat64Exp( float64 a )
{ return ( a>>52 ) & 0x7FF; }