I have started to use the numeric traits for some of my own meta-programming and ended up with the need for detection of the value_type for bounded_matrix and bounded_vector.  Here are modified traits files for consideration:

Also, I ended up needing meta-functions to get the static sizes for bounded_matrices and vectors, but I am not happy with my solution.  Should these be added to the numeric traits?

Maybe add a tag to the property_map?  Something like tag::static_vector_size which is a boost::mpl::size_t ?  And if the vector is dynamic, the value would be -1 or NaN or something that could be tested at compile time?  My guess is that there are a lot of optimizations people would want to do given statically sized numeric types.

-Jesse