profinite integers

Defined as \begin{align*} \widehat{{\mathbf{Z}}} := \varprojlim_n {\mathbf{Z}}/n{\mathbf{Z}}= \prod_p {\mathbf{Z}}_p \end{align*}