[boost] Proposal for Bernoulli numbers