Multiplying two 64-bit unsigned ints to get a 128-bit unsigned int

Question

I\'m writing in C, wanting to do something like

uint128_t product = 1 + k*totient;

where k and totient are both 64-bit unsigned ints. Of cour