syst_float64_add
float64 syst_float64_add( float64, float64 );
test_abz_float64( float64_add, syst_float64_add );