[RedShift1]

Instead of inserting a leap second, can't we standardize leap smearing like Google does? https://developers.google.com/time/smear. This will probably also work for negative leaps.