additional conversions of float to double for #3814.
===VersionHistory:None===