4 ms·Leap seconds and UTC vs UT1? Even in your use case, this would matter. But yeah, I take your point.by ogogmad 3y agoLeap seconds and UTC vs UT1? Even in your use case, this would matter. But yeah, I take your point.