import * as mod from "https://dotland.deno.dev/x/typebox@0.33.12/src/type/number/number.ts";