Random Number in ATS