#include <cruntime.h> float __float64_to_float32(double arg);
__float64_to_float32 converts the 64-bit floating value arg to a 32-bit floating point value, with appropriate rounding if necessary.
__float64_to_float32 is a provided on all implementations of CrossWorks.