I think the main flaw in your thinking here is that we can’t consider `_BitInt` to be an extended integer type. libc++ already claims `is_integral_v<_BitInt(N)>`. We’ve simply had nobody doing the actual work to make all the changes required to implement the features that have to be provided by extended integer types. If you want to do that I’m sure we’re happy to take patches. You should probably write a short RFC which lists all the areas that would have to be updated, but I don’t see anybody being against this.
2 Likes