Manual merge from branch bernoulli-numbers to branch bernoulli-tgamma.