A GPS signal received on or around June 1 or December 1 each year may also include leap second information.