I think you're forgetting that int is actually what other people call a BigInt, an integer with unlimited precision, not int32 or int64.