correctly documented construction from value_type as explicit