Compiling Reals/Raxioms/Rcauchy in v8.4