floatx80_sqrt
floatx80 floatx80_sqrt( floatx80 ) __dso_protected;
time_az_floatx80_pos( floatx80_sqrt );
floatx80 floatx80_sqrt( floatx80 );