The leap second is a quirk of modern timekeeping.