Minor remark:
I would strongly oppose that. 232 is easily overflowed in real life. For most purposes I would be happy with e.g. 48-bit integers. but 32 bits are just not enough (which is actually an argument in favor of your original proposal, although I’m not convinced by its chances of adoption).