How Google handles leap seconds (by lying to the software):
http://googleblog.blogspot.com/2011/09/time-technology-and-l...
http://googleblog.blogspot.com/2011/09/time-technology-and-l...
I can only think it's too randomize it a little so you don't end up changing clocks only by powers of 2 and showing up some weird bug.