Our representation of times uses the ISO standard CC:YY:MM:DD:HH:XX:SS, with an optional time zone (ISO-8601 1997).
time points are represented in terms of a calendric coordinate system, rather than a real number line.