}
public Double count_above_threshold(double threshold) throws HashOverflowException {
ScoreDistributionTop scoreDistribution = score_distribution_above_threshold(threshold);
try {
return scoreDistribution.count_above_threshold(threshold);
} catch (ScoreDistributionTop.NotRepresentativeDistribution exception) {
throw new RuntimeException("Should never be here", exception);
}
}