use int64 for good measure