We have refactored the underlying platform thread type into __libcpp_thread_t, but there are few places in the source where it is assumed to be an integral type.
This was discovered while trying to port libcxx onto a platform with a slightly wonkier threading system.