Simplify a bit of zeta bigfloat