@Xander Henderson I don't want to polemicate. I think my answer is "as it is" with a "disclaimer" in bold letters right at the beginning ; it has, besides, the small interest to spread the information about the existence of these pure mathematical jewels $\mathbb{Z_p}$ and $\mathbb{Q_p}$ (and all the mathematical objects that one can build out of them) constructed by a "tour de force" combining abstract algebraic and topological tools. —
Jean Marie 2 hours ago