So if I understand
this article about how Google handles leap seconds correctly, within the
w
seconds the server is 'lying', each second is stretched such that in the end the cumulative difference between real time and server time is the one leap second