GetInt now returns an Int... as it should