float128_to_float64
float64 float128_to_float64( float128 );
float64 float128_to_float64( float128 );
float64 float128_to_float64( float128 );
float64 float128_to_float64( float128 );
float64 float128_to_float64( float128 );
float64 float128_to_float64( float128 );
float64 float128_to_float64( float128 );
_c = float128_to_float64(*a);
float64 float128_to_float64( float128 );
float64 float128_to_float64( float128 );
time_a_float128_z_float64( float128_to_float64 );
float64 float128_to_float64( float128 );
float128_to_float64, syst_float128_to_float64 );
float64 float128_to_float64( float128 );