Multiply two 64 bit integers in C.