poly_int: symbolic_number