3 ms·

If you already have a list of possible real numbers 6 of 10 sounds like it could narrow it down a lot.