pub trait SafeNum<T>: IsSafe + Add<T> + Add<Safe<T>> + Add<SafeResult<T>> { }
Trait with all operations over a safe number