Synopsis
float32_t __float32_sub_asgn(float32_t *minuend,
                             float32_t subtrahend);
Description

__float32_sub_asgn updates the floating-point value pointed to by minuend by subtracting subtrahend from it. The stored difference is returned as the result.