small improvement to fmpr_mul_2exp_si