Leap seconds, record Earth days aren't welcomed by your computer