Correct tests in CI (use a smaller precision for double tests).