docs: public static int[] stringsToInts(String[] stringreps) {
  		int[] nums = new int[stringreps.length];
  		for (int i = 0; i < stringreps.length; i++)
  			nums[i] = Integer.parseInt(stringreps[i]);
  		return nums;
  	}