The standard natural real exponential function is the D5482: Positive real function \begin{equation} \mathbb{R} \to (0, \infty), \quad x \mapsto \sum_{n = 0}^{\infty} \frac{x^n}{n!} \end{equation}