import ToBigUint64 = require("../2024/ToBigUint64");
export = ToBigUint64;