If it's okay to screw programs that make nonportable assumptions, then int should just be 64 bits. After all, int is supposed to be the machine's natural integer.
The current fashion is that we like programs that assume int is 32 bits, and don't like ones that assume wraparound arithmetic.