docs: public double probability(double x0, double x1) {
          if (x0 > x1) {
              throw new NumberIsTooLargeException(LocalizedFormats.LOWER_ENDPOINT_ABOVE_UPPER_ENDPOINT, x0, x1, true);
          }
          return cumulativeProbability(x1) - cumulativeProbability(x0);
      }