use RandomLib to generate random numbers