pass ints, not strings, to Stream_Reader