Building Your Own Efficient uint128 in C++