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