title: php string to int
body: <pre><code>$a = '88';
  $b = '88 8888';
  
  echo (int)$a;
  echo (int)$b;
  </code></pre>
  
  <p>as expected, both produce 88. Anyone know if there's a string to int function that will work for $b's value and produce 888888? I've googled around a bit with no luck.</p>
  
  <p>Thanks</p>