Compiling Fresh/Reals/IZR with v8.4