#include <cruntime.h>float __float32_div(float dividend, float divisor);
__float32_div divides dividend by divisor and returns the quotient as the result.
__float32_div is a provided on all implementations of CrossWorks.