export { serializeInteger } from "../naive/integer";