//! Embedded leap second table and UTC/TAI time scale conversion.