Is an int a 64-bit integer in 64-bit C#?

No. The C# specification rigidly defines that int is an alias for System.Int32 with exactly 32 bits. Changing this would be a major breaking change.