Counting the leap second twice is more of a quick hack used in computers, but it's not how it actually works