float128_default_nan_high
z.high = float128_default_nan_high;
z.high = float128_default_nan_high;
z.high = float128_default_nan_high;
z.high = float128_default_nan_high;
z.high = float128_default_nan_high;