bernoulli.c: Bernoulli_sum_evalue: reduce resulting evalue