float32_t __float32_add(float32_t augend, float32_t addend);
__float32_add adds addend to augend and returns the sum as the result.