\begin{module}[id=reals]%
\symdef{RealNumbers}{\mathbb{R}}%
\symdef{absval}[1]{\mixfixi[p=2000]|{#1}|}%
\symdef{rfrac}[2]{\frac{#1}{#2}}%
\end{module}%