Update library_random_numbers.cpp