Why do you use int64?