Documentation: integers cannot be used in probability distributions