Fixed problem with length of the device id field. The id is bigger than

in32 which was initially used.

To support this I also had to change the call used to convert int to
string.