float128_round_to_int
float128 float128_round_to_int( float128 ) __dso_protected;
time_az_float128( float128_round_to_int );
float128 float128_round_to_int( float128 );