Package: coq-float