returns an integer value representing the device ID
This function returns the internal (POSIX) representation of the device ID.
| std::to_integer | converts its argument into an integer number |
| std_types::device_id | a POSIX device ID |
| std::device_id | constructs a device ID from an unsigned long value |