Let $X \in \text{Random}[0, \infty]$ be a D5101: Random unsigned basic number.

Then \begin{equation} \mathbb{E}(X) = \int^{\infty}_0 \mathbb{P}(X > t) \, d t \end{equation}