85     bits64 high, low;  member
135     z.high = ( (bits64) a )<<41;  in float32ToCommonNaN()
149     return ( ( (bits32) a.sign )<<31 ) | 0x7FC00000 | ( a.high>>41 );  in commonNaNToFloat32()
203     z.high = a<<12;  in float64ToCommonNaN()
220         | ( a.high>>12 );  in commonNaNToFloat64()
280     return ( ( a.high & 0x7FFF ) == 0x7FFF ) && (bits64) ( a.low<<1 );  in floatx80_is_nan()
296            ( ( a.high & 0x7FFF ) == 0x7FFF )  in floatx80_is_signaling_nan()
314     z.sign = a.high>>15;  in floatx80ToCommonNaN()
316     z.high = a.low<<1;  in floatx80ToCommonNaN()
331     z.low = LIT64( 0xC000000000000000 ) | ( a.high>>1 );  in commonNaNToFloatx80()
332     z.high = ( ( (bits16) a.sign )<<15 ) | 0x7FFF;  in commonNaNToFloatx80()
364         return ( a.high < b.high ) ? a : b;  in propagateFloatx80NaN()
395            ( LIT64( 0xFFFE000000000000 ) <= (bits64) ( a.high<<1 ) )  in float128_is_nan()
396         && ( a.low || ( a.high & LIT64( 0x0000FFFFFFFFFFFF ) ) );  in float128_is_nan()
410            ( ( ( a.high>>47 ) & 0xFFFF ) == 0xFFFE )  in float128_is_signaling_nan()
411         && ( a.low || ( a.high & LIT64( 0x00007FFFFFFFFFFF ) ) );  in float128_is_signaling_nan()
427     z.sign = a.high>>63;  in float128ToCommonNaN()
428     shortShift128Left( a.high, a.low, 16, &z.high, &z.low );  in float128ToCommonNaN()
443     shift128Right( a.high, a.low, 16, &z.high, &z.low );  in commonNaNToFloat128()
444     z.high |= ( ( (bits64) a.sign )<<63 ) | LIT64( 0x7FFF800000000000 );  in commonNaNToFloat128()
464     a.high |= LIT64( 0x0000800000000000 );  in propagateFloat128NaN()
465     b.high |= LIT64( 0x0000800000000000 );  in propagateFloat128NaN()
474         if ( lt128( a.high<<1, a.low, b.high<<1, b.low ) ) return b;  in propagateFloat128NaN()
475         if ( lt128( b.high<<1, b.low, a.high<<1, a.low ) ) return a;  in propagateFloat128NaN()
476         return ( a.high < b.high ) ? a : b;  in propagateFloat128NaN()