[ttoinou]

So you're defining rational number, not reals. For your explanation, why not, I also like visual exploration like this