Прекрасный пример того, что мир очень сложно описать простыми и удобными формулами. Сделаешь интуитивно понятно — время плясать начнёт (рано или поздно солнце будет светить в полночь). Сделаешь по-другому интуитивно понятно — программисты проклянут.
Интересно, кстати, как эти високосные секунды в разных языках программирования реализованы?