float64_t __float64_sub(float64_t minuend, float64_t subtrahend);
__float64_sub subtracts subtrahend from minuend and returns the difference as the result.