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/MartinThoma/LaTeX-examples is a good alternative to Reals-as-Oracles