It seems[1] that GPS at least already broadcasts "GPS time", which is fixed at TAI plus 19 seconds, and hence doesn't include leap seconds. [1] http://en.wikip

It seems[1] that GPS at least already broadcasts "GPS time", which is fixed at TAI plus 19 seconds, and hence doesn't include leap seconds. [1] http://en.wikipedia.org/wiki/Global_Positioning_System#Timekeeping_and_leap_seconds http://en.wikipedia.org/wiki/Global_Positioning_System#Timek...