/**
 * Return random interger between `$start` and `$stop`.
 */
export declare function RandomRangeInt($start: number, $stop: number): number;