I have looked around the net, and in some reference books and I cannot
find a function to convert a Float to a Double directly.  Can
there truly be no such animal in the Prelude/standard libs?<br>
<br>
-mdg<br>