Fixed tick label precision again
This PR fixes buggy formatting of small GPS intervals by formatting using truncation, rather than rounding or quantisation.
This PR fixes buggy formatting of small GPS intervals by formatting using truncation, rather than rounding or quantisation.