You might be able to make num a newtype and make a custom implementation of the Add trait for it that checks that it is in bounds
You might be able to make num a newtype and make a custom implementation of the Add trait for it that checks that it is in bounds