NIST provides a standard way to introduce leap seconds, I believe. What alternatives are there for this? (One proposal eliminates leap seconds.)