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