test_az_float64
void test_az_float64( float64 ( float64 ), float64 ( float64 ) );
test_az_float64( float64_round_to_int, syst_float64_round_to_int );
test_az_float64( float64_sqrt, syst_float64_sqrt );