Format ping time to 3 decimal places.