Getting read of leap seconds at the cost of seven billion humans, plus four billion Little Princes per day what-if.xkcd.com/26/