Здравствуйте, watchmaker, Вы писали:

M>>Далее, если и есть — как это достать из C++?
M>>Но опять же, как переносимо написать?

W>Ну это как раз совсем не проблема:
W>...

Меня собственно, интересует такая версия:

static inline void mul128(uint64_t a, uint64_t b, uint64_t& hi, uint64_t &lo) {
    uint128_t t = a;
    lo = t *= b;
    hi = t >> 64;
}

Конечно же, для умножения 32x32 я бы не стал огород городить