A meta trait for arithmetic.
Arithmetic types do all the usual stuff you'd expect numbers to do. They are guaranteed to
be able to represent at least
u32 values without loss, hence the trait implies
and smaller integers. All other conversions are fallible.