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