float64_round_to_int
float64 float64_round_to_int( float64 ) __dso_protected;
time_az_float64( float64_round_to_int );
float64 float64_round_to_int( float64 );