Small improvements in get_int_vel and get_int_t_den