The practice of adding a leap second every few years can be technically difficult for digital technology