Add typename

Still does not work because code uses non-standard uint128_t type