[Patch] Split-out __numeric_traits from ext/type_traits.h

[Benjamin Kosnik]

> I'd like to do this change, which avoids including all the stuff 
> currently in ext/type_traits.h (+ <limits>) where only the older bits 
> are needed (e.g., __enable_if, __add_unsigned): that means most of the 
> headers, a couple of places in pb_ds and tr1/random excluded. The size 
> of preprocessed <cmath>, for example, is cut almost to half.

I see why you'd do the split, but my preference is to keep it as 
ext/numeric_traits and __numeric_traits instead of the name change.

Since these are compile time, keeping it named traits is IMHO clearer 
than moving it to something that suggests std::numeric_limits.
Of course, it doesn't help that std::char_traits is not a compile time 
trait... thoughts?

> 2007-04-05  Paolo Carlini  <pcarlini@suse.de>
> 
> 	* include/ext/type_traits.h (__numeric_traits): Move...
> 	* include/ext/numeric_limits.h: ... here, as __numeric_limits.

-benjamin