うるう秒は定義される以前はないぞ！
あと公転速度は年々微妙に遅くなっているらしい。
2000年もあればけっこうな秒数になってそうだけど…。