New tests for Integration alg, (ab)using real numbers, re #8085