Edit: random_number.h