Synopsis
float64_t __float64_sub(float64_t minuend,
                        float64_t subtrahend);
Description

__float64_sub subtracts subtrahend from minuend and returns the difference as the result.