Time comes exact from the GPS satellites. Other than a time zone offset in the machine, any leap seconds or otherwise is managed by the GPS sat system and the government. Overall if I understand it correctly, this is exactly why there is a leap year where 29th of Feb happens to keep everything in order. Any questions about the timing provided by the GPS system should be directed to governing system owner.