News for package coq-float