[boost] difference_type for int in numeric_traits