float64_t __float64_div_asgn(float64_t *dividend, float64_t divisor);
__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.