Defined as $$ \hat{\ZZ} := \inverselim_n \ZZ/n\ZZ = \prod_p \ZZ_p $$