Really just need a bit precise implementation of uint128_t. I know its possible as a few libraries have already done it. (Including clang) Its just a lot of busy work and understanding details of how the intrinsic should work.
isn't `long double` with 1000 casts enough?