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