profinite integers