add traits for type limits

- add traits for type limits
- change dummy from integral type to a real type (boost::mpl::na)