Use of Uint32 for ThreadID's

SDL Development
1

Is there a reason “not” to use an unsigned long integer for ThreadID’s
instead of Uint32? They get truncated on 64-bit linux leading to segfaults.