Re: [math-fun] Real index Bernoulli numbers?