70     bits64 high, low;  member
115     z.high = ( (bits64) a )<<41;  in float32ToCommonNaN()
128     return ( ( (bits32) a.sign )<<31 ) | 0x7FC00000 | ( a.high>>41 );  in commonNaNToFloat32()
184     z.high = a<<12;  in float64ToCommonNaN()
200         | ( a.high>>12 );  in commonNaNToFloat64()
256     return ( ( a.high & 0x7FFF ) == 0x7FFF ) && (bits64) ( a.low<<1 );  in floatx80_is_nan()
271            ( ( a.high & 0x7FFF ) == 0x7FFF )  in floatx80_is_signaling_nan()
288     z.sign = a.high>>15;  in floatx80ToCommonNaN()
290     z.high = a.low<<1;  in floatx80ToCommonNaN()
304     z.low = LIT64( 0xC000000000000000 ) | ( a.high>>1 );  in commonNaNToFloatx80()
305     z.high = ( ( (bits16) a.sign )<<15 ) | 0x7FFF;  in commonNaNToFloatx80()
336         return ( a.high < b.high ) ? a : b;  in propagateFloatx80NaN()
364            ( LIT64( 0xFFFE000000000000 ) <= (bits64) ( a.high<<1 ) )  in float128_is_nan()
365         && ( a.low || ( a.high & LIT64( 0x0000FFFFFFFFFFFF ) ) );  in float128_is_nan()
378            ( ( ( a.high>>47 ) & 0xFFFF ) == 0xFFFE )  in float128_is_signaling_nan()
379         && ( a.low || ( a.high & LIT64( 0x00007FFFFFFFFFFF ) ) );  in float128_is_signaling_nan()
394     z.sign = a.high>>63;  in float128ToCommonNaN()
395     shortShift128Left( a.high, a.low, 16, &z.high, &z.low );  in float128ToCommonNaN()
409     shift128Right( a.high, a.low, 16, &z.high, &z.low );  in commonNaNToFloat128()
410     z.high |= ( ( (bits64) a.sign )<<63 ) | LIT64( 0x7FFF800000000000 );  in commonNaNToFloat128()
429     a.high |= LIT64( 0x0000800000000000 );  in propagateFloat128NaN()
430     b.high |= LIT64( 0x0000800000000000 );  in propagateFloat128NaN()
439         if ( lt128( a.high<<1, a.low, b.high<<1, b.low ) ) return b;  in propagateFloat128NaN()
440         if ( lt128( b.high<<1, b.low, a.high<<1, a.low ) ) return a;  in propagateFloat128NaN()
441         return ( a.high < b.high ) ? a : b;  in propagateFloat128NaN()