implement multiplication with overflow for 64 bit