[lmm]

If you're using the Dedekind cut definition why use the line at all? Just say a real is any set of rationals bounded above, with arithmetic defined the obvious way; defining equality is slightly fiddly but it's fiddly with a number line too. What does the line visualization gain you?

[ColinWright]

Because it was asked how we knew we "got them all", referring to points on the line. The reals are a way of modelling the line, the line is a way of visualising the reals. Each is complementary to the other.

And besides, the rationals are totally ordered, and their completion is totally ordered, so it makes sense to think of them as arranged in a line. The problem is that the reals are very, very strange in some ways, and people do get seduced into thinking they understand them, whereas usually it's just a case that they've got used to them.