pushing through the Cauchy reals