Modules

manipulation of UTC in terms of TAI
segments of UTC definition