import { Uint128 } from "https://deno.land/x/typed_numeric@0.5.0/src/numeric/uint128.ts";