soroban-fixed-point-math has Incorrect Rounding and Overflow Handling in Signed Fixed-Point Math with Negatives
In versions 1.3.0 and 1.4.0, the mulDiv function incorrectly handled cases where both the intermediate product and divisor were negative, causing rounding to be applied in the wrong direction