float128_to_int32
int float128_to_int32( float128 ) __dso_protected;
time_a_float128_z_int32( float128_to_int32 );
int float128_to_int32( float128 );