#include <cruntime.h>float __float64_mul(float muliplicand, float multiplier);
__float64_mul multiplies multiplicand by multiplier and returns the product as the result.
__float64_mul is a provided on all implementations of CrossWorks.