PHP function that generates a random binominal distributed integer.