3 ms·

Thanks for the info. By the way, your writing on floating point arithmetic is very informative -- I even cite a message of yours on FMA in the post itself!