Math behind Google Leap second smear formula
stackoverflow.com