int device
read-only

Unique identifier for the pointing device, reused across interactions.