Re: \timing interval

<p dir="ltr"><p dir="ltr">On 4 Sep. 2016 3:36 am, "Tom Lane" <<a
href="mailto:tgl@sss.pgh.pa.us">tgl@sss.pgh.pa.us</a>>wrote:<br /> ><p dir="ltr">> After further thought I
concludedthat not providing any labeling of<br /> > days is a bad idea. <p dir="ltr">Yeah. I think labeling days is
definitelygood. I'm glad you changed that.<p dir="ltr">Personally I'd like to trim milliseconds when dealing with
minute+long runs and seconds from hour+ runs too, since it's all there in the ms output and the units output is for
humanreadability. I see the value of retaining full precision too, though, and don't feel strongly about it.