API Version: 4.0
Library Version: 4.1.2
serial: guint64
The serial number of the tool.
gdk_device_tool_get_serial