[math-fun] ReRe: Bernoulli numbers