A file to make a new file filled with random numbers