Added random number generator library