title: PHP string with decimals to number
body: <p>So when I try the following:</p>
  
  <pre><code>$a = '1.00';
  $b = '1.01';
  
  if($a &lt; $b){
      print 'ok';
  }
  </code></pre>
  
  <p>This works fine. But when I retrieve these variables from an xml file. the strings are EXACTLY the same, but for some reason, the if function doesn't work right. So I assume I have to convert the strings to a number. But when I do so, the decimals get removed.</p>
  
  <p>Is my assumption correct? If so, how do i solve it?</p>
  
  <p>If not, what's the problem?</p>
  
  <p>Thank you!</p>