Comment by gunnihinn

> they are objects (I call them oracles) that answer Yes or No when asked if the number ought to be between two given rational numbers.

So a real number is a function from pairs of rationals to a two-element set (plus some sanity conditions)? Why is that better than the other constructions?