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/jirilebl/diffyqs is a good alternative to Reals-as-Oracles