Synopsis
float32_t __float32_add_asgn(float32_t *augend,
                             float32_t addend);
Description

__float32_add_asgn updates the floating-point value pointed to by augend by adding addend to it. The stored sum is returned as the result.