use Add64 in Add