| AddHelper | A helper trait for adding two BoundedInt instances. |
| DivRemHelper | A helper trait for dividing two BoundedInt instances. |
| MulHelper | A helper trait for multiplying two BoundedInt instances. |
| SubHelper | A helper trait for subtracting two BoundedInt instances. |
| ConstrainHelper | A helper trait for constraining a BoundedInt instance. |
| TrimMinHelper | A helper trait for trimming a BoundedInt instance’s min value. |
| TrimMaxHelper | A helper trait for trimming a BoundedInt instance’s max value. |
| NegFelt252 | Returns the negation of the given felt252 value. |
| NegateHelper | A helper trait for negating a BoundedInt instance. |