size_type and length_type for all types