Separated uint128_t into header and source