title: Does casting double to int returns the round down number?
body: <p>I have the folowing example :</p>
  
  <pre><code>double x = 2.5;
  int n = (int)x;
  int k = (int) floor(x);
  </code></pre>
  
  <p>Does casting double to int returns the round down number? or I should use floor function?</p>