It seems like a lot of recent posts on this thread have been about more general topics than what the OP is concerned about. This discussion could be made more helpful to the OP if accompanied by an explanation of its relevance to `_BitInt`. For example, if someone wants to ban implicit conversions from an integer type to a narrower bit-precise integer type, they should say so.