float64_t __float64_sub_asgn(float64_t *minuend, float64_t subtrahend);
__float64_sub_asgn updates the floating-point value pointed to by minuend by subtracting subtrahend from it. The stored difference is returned as the result.