int id_number()
Returns an id number identifying the thread.
This function was added in Pike 7.2.204.