[Ericson2314]

https://ncatlab.org/nlab/show/real+numbers+object you can definitely have real numbers without the infinitesimals in constructive math, however.