bool tolerant_p = (run_expensive_timings_p() >= 1);
bool masochist_p = (run_expensive_timings_p() >= 2);
// By default PRS gcd tests are disabled, they are way too slow
bool tolerant_p = (run_expensive_timings_p() >= 1);
bool masochist_p = (run_expensive_timings_p() >= 2);
// By default PRS gcd tests are disabled, they are way too slow