Discrete probability distributions (#112)