ThreadId gripe

Hi, The 'Show' instance for ThreadId produces stuff like "ThreadId 1" - not very concise. Is there an simple way to turn it into an Int or Integer so I can call 'show' on that? Usually ThreadId's are turned into strings for the purpose of logging, in which case one really only wants the numeric part. Best, Frederik -- http://ofb.net/~frederik/