Умножение с очень большими операндами

Я реализую модуль мульти-точности, и в этот момент я застрял в умножении.

Чтобы выполнить мой алгоритм, мне нужно умножить два беззнаковых операнда на 64 бита, используя микроархитектуру Haswell, и сохранить результат в блоке памяти.
Я делаю реализацию с использованием ‘g ++’, а другую более эффективную, используя ‘icpc’.

int main(){

//Operands
size_t a = 10000000000000000000 //Fit in 8 bytes
b = 7;

//To store the result;
size_t dst[2];

//Multiplication here... (Note that the multiplication result don't fit in 64bits. So, I need to save the result in two memory positions)

dst[0] = //Store the less significative half..
dst[1] = //Store the more significative half..//My function
print_To_Screen(dst);
}

Я не знаю, как получить доступ к каждой половине результата, чтобы сохранить их в нужных мне блоках памяти.
Обязан ли я использовать инструкции по сборке для умножения и их для хранения результата, или существует простой способ?