[boost] [range] index adaptor with size_t as index_type