fact: CoFixpoint constant_generator_aux gen n := Consts (hidden_constant_generator gen n) (constant_generator_aux gen (Pos.succ n)).
imports: Coq(Reals Psatz) Flocq(Zaux Raux Digits) Stdlib Xreal Basic Sig Interval Float