4 ms·

I understand your point, but really floats are not reals and we should test for equality of a float+precision.