title: PHP typecasting float->int
body: <p>Given this PHP code:</p>
  
  <pre><code>// total is 71.24 (float)
  $value = $total * 100;
  var_dump($value);
  $valuecast = (int)$value;
  var_dump($valuecast);
  settype($value, 'int');
  var_dump($value);
  </code></pre>
  
  <p>var_dump($value) gives <strong>float(7124)</strong></p>
  
  <p>var_dump($valuecast) gives <strong>int(7123)</strong></p>
  
  <p>var_dump($value) after settype gives <strong>int(7123)</strong></p>
  
  <p>How can I get the correct type conversion?</p>