[math-fun] Real index Bernoulli numbers?