[math-fun] A countable subset of fractions?