The goal is only to cover rationals, not every real number.