extractFloat64Frac
INLINE bits64 extractFloat64Frac( float64 a )
bits64 extractFloat64Frac(float64 a)