one modulo less in compute_modn