const nan_f128: f128 = @bitCast(f128, nan_u128);