float128_sqrt
float128 float128_sqrt( float128 ) __dso_protected;
time_az_float128_pos( float128_sqrt );
float128 float128_sqrt( float128 );