That's not really relevant. The problem isn't with the time, it's with the conversion to a single number of SI seconds. Since we're not doing the conversion correctly, we should just be honest about it.