export declare type integer = number;