int device
final

Unique identifier for the pointing device, reused across interactions.