Compiling Reals/Raxioms/Rcauchy_lemmas with v8.4