Update random_numbers_library.cpp