Is size_type really so specialized as that?