Five different ways to handle leap seconds | Hacker News Reader