title: json_decode removes zero at first char in string numbers
body: <p>When i pass a phone number (that is a string) with leading zero number to <code>json_decode</code>, It removes the first zero char and converts it to a float number.</p>
  
  <pre><code>$string = '09178882356'; //dynamic value
  echo json_decode($string); //9178882356 will be echo
  </code></pre>
  
  <p>How to prevent it ?</p>
  
  <p><strong>Edit</strong>:<br>
  Florent provided a solution to use something like:</p>
  
  <pre><code>echo json_decode('"'.$string.'"');
  </code></pre>
  
  <p>It works, But if <code>$string</code> is a real JSON string, Then it fails.</p>