It seems to me it would be useful to finally get a bigfloat version of Bessel functions or maybe hypergeometric functions. Perhaps your enthusiasm can be turned to these problems? Thanks RJF