Hello, how do you go about working with 128 bit numbers in C?