[boost] difference_type size()?