3 ms·

Also, that is the best definition of the real numbers I have seen so far