add fmpr_is_int_2exp_si; some simplification