自分で足し算すると、サマータイム・うるう秒は、大丈夫なのか?