This is a paper for a new definition of real numbers, namely, viewing a real number as an oracle that affirms when a rational interval contains the real number.
Why do you think that https://github.com/iblech/internal-methods is a good alternative to Reals-as-Oracles