Precise date and time handling in Rust built on top of std::f64
.
The Epoch used is TAI Epoch of 01 Jan 1900 at midnight, but that should not matter in
day-to-day use of this library.
simulation
feature)Almost all examples are validated with external references, as detailed on a test-by-test basis.
Each time computing library may decide when the extra leap second exists as explained
in the IETF leap second reference.
To ease computation, hifitime
decides that second is the 60th of a UTC date, if such exists.
Note that this second exists at a different time than defined on NASA HEASARC. That tool is
used for validation of Julian dates. As an example of how this is handled, check the Julian
day computations for 2015-06-30 23:59:59,
2015-06-30 23:59:60 and 2015-07-01 00:00:00.
ET and TDB should now be identical. However, hifitime uses the European Space Agency's definition of TDB, detailed here. It seems that SPICE uses the older definition which has a fixed offset from TDT of 0.000935 seconds. This difference is more prominent around the TDB epoch of 01 January 2000.