Standard part function

Summary

The standard part function sends each finite hyperreal number $x$ to the unique real number $\operatorname{st}(x)$ that is infinitely close to it. It is the bridge back from the hyperreals to the reals in nonstandard analysis. Derivatives, integrals and limits are defined as standard parts of hyperreal expressions.