import * as polkadot from "https://deno.land/x/polkadot@0.2.41/types-codec/primitive/U64.ts";