民生用というか一般人が変えるお値段のGPSレシーバーでは、GPSがしゃべってる閏秒の情報は受け取れない(機器内でUTCに変換しちゃう)っぽい・・・？＞＜