title: Any way to do integer division in sympy?
body: <p>I have a very long expression that I think can be simplified, and I thought <code>sympy</code> would be the perfect way to do it. Unfortunately the formula relies on a couple of integer divides, and I can't find any way to represent those in <code>sympy</code>.</p>
  
  <pre><code>&gt;&gt;&gt; x=Symbol('x')
  &gt;&gt;&gt; (x+1)/2
  x/2 + 1/2
  </code></pre>
  
  <p>Clearly not what I want, <code>1/2</code> isn't an integer.</p>
  
  <pre><code>&gt;&gt;&gt; (x+1)//2
  TypeError: unsupported operand type(s) for //: 'Add' and 'int'
  </code></pre>
  
  <p>Obviously <code>sympy</code> doesn't handle <code>//</code>.</p>
  
  <pre><code>&gt;&gt;&gt; Integer((x+1)/2)
  #   A long list of error messages, ending with ...
  TypeError: Integer can only work with integer expressions.
  </code></pre>
  
  <p>It seems that <code>Integer</code> is only intended to work on constant numbers, not formulas.</p>
  
  <p>There's a function <code>trunc</code> but it doesn't seem to do anything similar to what I want.</p>
  
  <p>Is there any way to represent an integer division in <code>sympy</code>?</p>