Ага. Причем во время leap second поведение не определено :))
Эта секунда может идти в 2 раза медленнее или повториться дважды.
Как раз их начали вставлять с 1972 года. Уже ввели шкалу юниксвремени, и всего спустя пару лет ввели эти секунды. Поэтому юниксвремя их не учитывает ;(