Synopsis
float64_t __float64_div_asgn(float64_t *dividend,
                             float64_t divisor);
Description

__float64_div_asgn updates the floating-point value pointed to by dividend by dividing it by divisor. The stored quotient is returned as the result.