Basic (non-working) uint128_t type with testing

Does not work.