import ToBigInt = require("../2023/ToBigInt");
export = ToBigInt;