#include <cruntime.h>double __float32_to_float64(float arg);
__float32_to_float64 converts the 32-bit floating value arg to a 64-bit floating point value.
__float32_to_float64 is a provided on all implementations of CrossWorks.