show_sequence: show times to three decimal places