#include <cruntime.h> float __float32_div_asgn(float *dividend, float divisor);
__float32_div_asgn updates the floating-point value pointed to by dividend by dividing it by divisor. The stored quotient is returned as the result.
__float32_div_asgn is a provided on all implementations of CrossWorks.