Synopsis
float32_t __float32_sub(float32_t minuend,
                        float32_t subtrahend);
Description

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