title: Floating point division in a batch file
body: <p>I need to do a floating-point division in a dos batch.</p>
  
  <p>I didn't find a way to do it. Something like this :</p>
  
  <pre><code>SET /A Res=10/3
  </code></pre>
  
  <p>returns a integer number.</p>
  
  <p>Is it possible to do it ?</p>