ARBINT _ _ _ _ _ _ _ _ _ _ _ _ operator

The operator arbint is used to express arbitrary integer parts of an expression, e.g. in the result of solve when allbranch is on.

examples:

solve(log(sin(x+3)),x); 

  {X=2*ARBINT(1)*PI - ASIN(1) - 3,
   X=2*ARBINT(1)*PI + ASIN(1) + PI - 3}