import { BoxedNumber } from "https://deno.land/x/sdl_ts@0.0.4/src/boxes.ts";