Use 64bit args in mul2