@DavidKButlerUoA if we're talking about the original problem where all the real numbers are dressed up, you can defo find all the rationals in finite time. It takes 2*max(m,n) moves to find m/n, when m and n are coprime.