そう言えば昔はGMTだったなと。 調べ直したら…。 それで最近「うるう秒」と言っているのかと納得。