Improved GPS axis tick labelling
This PR improves the labelling of scaled GPS times on an axis with a GPS scale. The key is to use Decimal
for all GPS time conversions to avoid ridiculous python/numpy float precision corrections.
This PR improves the labelling of scaled GPS times on an axis with a GPS scale. The key is to use Decimal
for all GPS time conversions to avoid ridiculous python/numpy float precision corrections.