floatx80_default_nan_high
z.high = floatx80_default_nan_high<<X80SHIFT;
z.high = floatx80_default_nan_high<<X80SHIFT;
z.high = floatx80_default_nan_high<<X80SHIFT;
z.high = floatx80_default_nan_high<<X80SHIFT;
z.high = floatx80_default_nan_high<<X80SHIFT;
z.high = floatx80_default_nan_high;
z.high = floatx80_default_nan_high;
z.high = floatx80_default_nan_high;
z.high = floatx80_default_nan_high;
z.high = floatx80_default_nan_high;