Added random number generators from AIFH.