Function av_div_sf

libavutil/softfloat.h:89–93

* b has to be normalized and not zero. * @return Will not be more denormalized than a. */

 * @return Will not be more denormalized than a.
 */
static av_const SoftFloat av_div_sf(SoftFloat a, SoftFloat b){
    a.exp -= b.exp+1;
    a.mant = ((int64_t)a.mant<<(ONE_BITS+1)) / b.mant;
    return av_normalize1_sf(a);
}

static inline av_const int av_cmp_sf(SoftFloat a, SoftFloat b){
    int t= a.exp - b.exp;