syst_float64_sqrt
float64 syst_float64_sqrt( float64 );
test_az_float64( float64_sqrt, syst_float64_sqrt );