Tests Modular<float, double> and ModularExtended<double> failed on HPAC with n >= 2^4 (hint: last steps and first steps may be buggy)