GUI: Don't print an int as a string