hello, I agree the <reveng> engine is useless because of that java program which does not work for most people and platforms. (I did not programmed that junk!, I made the ISC only). The Inverse Symbolic Calculator still works there at the cecm, they did not unplugged my project there yet. http://www.cecm.sfu.ca/projects/ISC/ it uses the online (but limited) set of tests with 46 million constants. For lookups only I made the Inverter at http://pi.lacim.uqam.ca/eng/ and if you want a real test with 200 milllion constants + a real inverter which uses GFUN, Pari-GP with LLL you still can ask me to run a test on any number mail you number of any size to numbers@math.uqam.ca and I will run the tests on it. Of course : because of the exponential growth of CPU needed for solving anycase that has approx. 50 digits or more this last step is done interactively by me manually. I still could not find a way to automate that last step. Ah yes, the OEIS is embedded into the Inverter, I made a conversion of the integer sequences into real numbers using 18 different algorithms in 1999. I counted about 2 million entries that are made with the OEIS entries. Just in case that an unknown combination of integer sequence would lead to any interesting real number, and vice-versa. Simon Plouffe