Add make_uint128t convenience function