Add something like `num_traits` to STD, or move it into std entirely

I remembered that the maintainers of num-traits have published num-primitive, a sealed version of num-traits.