[Complexity] Lower complexity 32 bit by 32 bit division

Bug description

The division BASOP_Util_Divide3232_Scale_cadence() implements a 32 by 32 bit division with 31 bit precision. However, it's relatively costly. In floating-point, the mantissa has most 23 bits, so it's proposed to implement a cheaper and possibly lower precision division.