Quando tomamos o valor absoluto usual e o completamento de Q em relação à métrica induzida por ele, o resultado é o corpo IR dos números reais; fazendo o mesmo processo com qualquer outro valor absoluto definido em Q, ...