returns an integer value representing the user id
This function returns the internal (POSIX) representation of the user id.
| std::to_integer | converts its argument into an integer number |
| std_types::user_id | a POSIX user id |
| std::user_id | constructs a user id from an integer value |