> If dUT1 can become either negative or larger than 1, Negative values should already be accounted for, afaict. > UTC is maintained via leap seconds, such tha

> If dUT1 can become either negative or larger than 1, Negative values should already be accounted for, afaict. > UTC is maintained via leap seconds, such that DUT1 remains within the range −0.9 s < DUT1 < +0.9 s. I can't imagine why it would ever be constrained to abs(dut) < 1, as that does not appear to be a hard spec anywhere, it's just the goal. But I could see some really stupid implementations, so maybe. https://en.m.wikipedia.org/wiki/DUT1 https://en.m.wikipedia.org/wiki/DUT1