Add random_number_generator()