Add 64 bit multiplication test