Wasn’t some work on something like this done by @xwu and others with the DoubleWidth types? Or are you saying that we should automatically create those types to fit the size of the literal?
We can move this discussion to another thread though, since it’s not directly related.