I wonder if that's what electricity producers do? If you are selling 50 or 60 Hz service, an extra second here or there must really mess things up.
I believe in the US this error correction has been discontinued in the East and in Texas, but is still done in the West for some kind of non-clock "inadvertent interchange" reasons I don't understand.