Can't we enforce this requirement? In other words, you can figure out how big of an integral type you need, and check the target, rejecting at compile time. Not strictly necessary, but would be a nice feature.