some more work on fmprb_pow and friends