Sure, the leap second is a thing. We still represent the day as 24 hours for humans. They didn't seem to be talking about an "under the hood" hand waving of a s

Sure, the leap second is a thing. We still represent the day as 24 hours for humans. They didn't seem to be talking about an "under the hood" hand waving of a significant part of the day.