float64_t __float64_add_asgn(float64_t *augend, float64_t addend);
__float64_add_asgn updates the floating-point value pointed to by augend by adding addend to it. The stored sum is returned as the result.