A number system extending rationals using p-adic absolute value, important for studying arithmetic geometry.