Explicitly cast an int64 to an int32.