fact: Axiom big_int : Set.
imports: Constants generation monoid machine strategies spec log2_spec log2_implementation Compare_dec while imperative develop dicho_strat binary_strat trivial standard monofun matrix ZArith main