[mikeash]

Leap seconds don't cause timestamps to repeat, though. They're done by adding an extra second to a minute, so that instead of going between 0-59 seconds, that one minute goes from 0-60.