IMO, on a 64-bit CPU int should be 64 bits, and long should be 128

I agree that such a type should be available. Maybe not all ints directly, but have a word_t for that purpose.

People may argue that "it's not needed" or redundant or whatever, but having the register width as a type could be really useful sometimes.

Rodrigo