float128_to_int64
long long float128_to_int64( float128 ) __dso_protected;
time_a_float128_z_int64( float128_to_int64 );
int64_t float128_to_int64( float128 );