Let $X \in \text{Random} [-\infty, \infty]$ be a D4381: Random basic number such that
(i) | $X^+$ is the D1289: Basic function positive part of $X$ |
(ii) | $X^-$ is the D1290: Basic function negative part of $X$ |
Then
\begin{equation}
|X| = X^+ + X^-
\end{equation}