How do people feel/think about an Integer supertrait? that will contain
min_value and will probably depend on a lot of the arithmetic traits too
This kind of "trait" is used very commonly in C++
There's an absolutely enormous design space for numeric traits (hierarchies), I would even say there is no single best design for it. libstd is a bad place to explore that kind of space since it's constrained by backwards compatibility and generally wants to be small/focused. There's the
num-traits crate and some other crates that address this subject and don't have those constraints.