Afaict all of these rely on the axiom of Archimedes which is what I'm talking about, some of the proofs explicitly stating it and others implicitly. Unless I m

Afaict all of these rely on the axiom of Archimedes which is what I'm talking about, some of the proofs explicitly stating it and others implicitly. Unless I missed something.