export function getRandom(): number;