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

That I completely agreed with, for integers and the like. But there isn't a plan for generic floating-point numbers that I know of, and that is my main concern. I guess that What numeric traits make sense for std? is further discussion.