Went back to integers on I/O