bug: Saturation Arithmetic is incorrect with negative signed integers

Question

bengineer42 opened this issue 2 months ago · 0 comments

Bug Report

Cairo version:
2.8.4

Current behavior:

let a: i8 = 127;
let b: i8 = -127;

let c = a.saturating_sub(b);

would give -128

Expected behavior:

Above should give 127

Steps to reproduce:

Above using the SaturatingSub Trait

Related code:

Other information: