export declare const JAVA_MAX_INT: number;
export declare const JAVA_MAX_DOUBLE: number;