Optimized construction of Cauchy reals and put in the 0-truncation