[math-fun] ReRe: ReRe: Bernoulli numbers