3 ms·

Thanks for looking. It is entirely possible that my middle-aged memory on books read 25 years ago is...not entirely reliable. :-)