Compiling Arith/Znumfacts.v in v8.4