Is there really a reason to provide a single precision version of the library nowadays? There may be individual uses (which can fork the package or build manual), but as a package I don't see a need for that.