class AbstractIntegerDistribution implements IntegerDistribution, Serializable {

    public double cumulativeProbability(int x0, int x1) throws NumberIsTooLargeException {
        if (x1 < x0) {
            throw new NumberIsTooLargeException(LocalizedFormats.LOWER_ENDPOINT_ABOVE_UPPER_ENDPOINT,
                    x0, x1, true);
        }
        return cumulativeProbability(x1) - cumulativeProbability(x0);
    }

    @Deprecated protected  AbstractIntegerDistribution();
    protected  AbstractIntegerDistribution(RandomGenerator rng);

}