float32_t __float32_mul_asgn(float32_t *multiplicand,
float32_t multiplier);
__float32_mul_asgn updates the floating-point value pointed to by multiplicand by multiplying it by multiplier. The stored product is returned as the result.