Synopsis
float32_t __float32_div_asgn(float32_t *dividend,
                             float32_t divisor);
Description

__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.