Replace the remaining uses of boost multiprecision's uint128 with the new class