5 ms·

I thought the same thing but having that actually made it easy to copy and paste into my terminal and then edit the number.