Interesting article on how Google has moved beyond NTP, with a mention of last year's leap second: http://www.wired.com/wiredenterprise/2012/11/google-spanner-time/ --Ted