[tz] TAI as a time zone?

[Guy Harris]

On Sep 14, 2013, at 11:59 PM, Guy Harris <guy at alum.mit.edu> wrote:

> I don't know how to convert "seconds-since-the-Epoch" to TAI

Add in the number of positive leap seconds, and subtract out the number of negative leap seconds, that have elapsed or that we *know* will elapse between the Epoch and the time in question.  (Or am I missing something there.)

(No, this won't work if the "seconds-since-the-Epoch" value is far enough in the future and if the IERS ends up announcing an additional leap second or seconds before that point, but, well, *nothing*, other than a perfect lower-case-"o" oracle, will work in that case.)

This requires having the values from the "leapseconds" file around, but using them differently from the way the tz code uses them now.