github.com/coq/opam-coq-archive
Flocq binary_float generators for QuickChick testing framework
opam install coq-flocq-quickchick.1.0.2