Rename Int to I4

This makes its the fixed-width nature more explicit.
Add 64-bit integers