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