feat: OverflowingSub trait

[enitrat]

This change is 

[orizi]

Reviewed 5 of 5 files at r1, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @enitrat)

a discussion (no related file):
@gilbens-starkware for 2nd eye.

---

---

corelib/src/num/traits/ops/overflowing.cairo line 12 at r1 (raw file):

pub trait OverflowingSub<T> {
    /// Returns a tuple of the difference along with a boolean indicating whether an arithmetic overflow
    /// would occur.

Suggestion:

    /// Returns a tuple of the difference along with a boolean indicating whether an arithmetic
    /// overflow would occur.

[enitrat]

Reviewable status: 4 of 5 files reviewed, 2 unresolved discussions (waiting on @orizi)

---

corelib/src/num/traits/ops/overflowing.cairo line 12 at r1 (raw file):

pub trait OverflowingSub<T> {
    /// Returns a tuple of the difference along with a boolean indicating whether an arithmetic overflow
    /// would occur.

Done. What's the correct line length to use?

[orizi]

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: all files reviewed, 2 unresolved discussions (waiting on @enitrat)

---

corelib/src/num/traits/ops/overflowing.cairo line 12 at r1 (raw file):

Previously, enitrat (Mathieu) wrote…

Done. What's the correct line length to use?

100 chars.

[orizi]

Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @enitrat)

[gilbens-starkware]

Reviewed 4 of 5 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @enitrat)