I.D35 — Number Tower

N_tau subset Z_tau subset Q_tau subset R_tau subset C_tau. Integers via Grothendieck group, rationals via field of fractions, reals via Cauchy completion, complexes via R_tau[i].