Hi, I've had a bug report (#430878) which has asked me to package the Float library for coq. Since it is the first coq library to be packaged, we have to decide of a naming scheme for those. I would go for "coq-lib-float" but if anyone has a better / more standard suggestion for the name of the package, it's time to say it... Cheers, Samuel.