Bug#920434: Reported upstream, and already mostly fixed

I created an issue upstream: https://github.com/iputils/iputils/issues/232 It seems that this bug is largely solved upstream, in https://github.com/iputils/iputils/pull/123

Bug#920434: ping does not round correctly

Package: iputils-ping Version: 3:20180629-2 Usually, ping reports times like 17.1 ms, but every once in a while it reports a trip time of, say, 17.10 ms. I expect to always get 3 significant digits, not sometimes 4. Here is a transcript: $ ping 1.1.1.1 (...) 64 bytes from 1.1.1.1: icmp_seq=5318