fix fmprb_exp to support huge exponents; add fmprb_expm1