Eudoxus Reals in real life Has anyone encountered Eudoxus real numbers (a different construction of R from first principles skipping Q from Z) in…