title: Type Constraint Mismatch with default int * int type division
body: <p>So I'm working through some sample F# code, and ran into the following fragment:</p>
  
  <pre><code>let divRem a b = 
      let x = a / b
      let y = a % b
      (x,y)
  </code></pre>
  
  <p>When I try to compile it, I get the following error:</p>
  
  <blockquote>
    <p>HelloWorld\Program.fs(15,14): error FS0071: Type constraint mismatch
    when applying the default type 'int * int' for a type inference
    variable. The type '(int * int)' does not support any operators named
    '/' Consider adding further type constraints</p>
  </blockquote>
  
  <p>However, doing something like </p>
  
  <pre><code>let print n = System.Console.WriteLine(n.ToString())
  print (4/2)
  </code></pre>
  
  <p>Results in </p>
  
  <blockquote>
    <p>2</p>
  </blockquote>
  
  <p>Why is the integer division operation not usable from within a function definition ? </p>
  
  <p><strong>EDIT:</strong>
  Here is an entire sample of the code that fails to compile.</p>
  
  <pre><code>let divRem a b = 
      let x = a / b
      let y = a % b
      (x,y)
  
  let print n = System.Console.WriteLine(n.ToString())
  print (divRem (5,3))
  </code></pre>