Profinite_integer