fact: Definition default_params_of_size (n : nat) : params := {| n := n; s := 2^(64 * Z.of_nat n + 1); c := [(1, 1)] ; idxs := seq 0 n ++ [0; 1]%nat; machine_wordsize := 64 |}.
imports: Coq.ZArith.ZArith Coq.Lists.List Coq.Setoids.Setoid Coq.Classes.Morphisms Coq.QArith.QArith_base Coq.QArith.Qreduction Coq.QArith.Qround