docs: private static RandomVariable[] numberListToDoubleArray(List<RandomVariable> listOfNumbers) {
  		RandomVariable[] array	= new RandomVariable[listOfNumbers.size()];
  		for(int i=0; i<array.length; i++) {
  			array[i] = listOfNumbers.get(i);
  		}
  		return array;
  	}