Multiplication from min to -1 reported as fits
When verifying that the multiplication result will fit, it's possible to have the minimum value multiplied by -1 resulting in an overflow but being reported as fitting.
When verifying that the multiplication result will fit, it's possible to have the minimum value multiplied by -1 resulting in an overflow but being reported as fitting.