import "./number_type_extension.js";
export declare function initNumberExtension(): void;