A time library that is compatible with a changing clock speed