Let $r \in [0, \infty)$ and $\theta \in \mathbb{R}$ each be a D993: Real number.
Let $i$ be the D371: Imaginary number.

Then \begin{equation} |r \exp(i \theta)| = r \end{equation}