poly_int: expand_expr_real_2