in ``sqrt_mod_iter`` used alternative algorithm for ``product``