syst_floatx80_sqrt
floatx80 syst_floatx80_sqrt( floatx80 );
test_az_floatx80( floatx80_sqrt, syst_floatx80_sqrt );