docs: public RandomVariableInterface addRatio(RandomVariableInterface numerator, RandomVariableInterface denominator) {
  		// Set time of this random variable to maximum of time with respect to which measurability is known.
  		double newTime = Math.max(Math.max(time, numerator.getFiltrationTime()), denominator.getFiltrationTime());
  
  		if(isDeterministic() && numerator.isDeterministic() && denominator.isDeterministic()) {
  			double newValueIfNonStochastic = valueIfNonStochastic + (numerator.get(0) / denominator.get(0));
  			return new RandomVariableLowMemory(newTime, newValueIfNonStochastic);
  		}
  		else {
  			double[] newRealizations = new double[Math.max(Math.max(size(), numerator.size()), denominator.size())];
  			for(int i=0; i<newRealizations.length; i++) {
  				newRealizations[i]		 = get(i) + numerator.get(i) / denominator.get(i);
  			}
  			return new RandomVariableLowMemory(newTime, newRealizations);
  		}
  	}