github.com/coq/opam-coq-archive
A formalization of floating-point arithmetic for the Coq system
opam install coq-flocq.3.3.1