2 ms·

Nope, jstmpfile had it right. > 25/31 < 31/37. Is what I meant. Clearly I should have been more specific.