A C++ library that converts between smeared (UTC) and unsmeared (TAI) time scales.