title: PHP json_encode encoding numbers as strings
body: <p>I am having one problem with the PHP json_encode function. It encodes numbers as strings, e.g. </p>
  
  <pre><code>array('id' =&gt; 3)
  </code></pre>
  
  <p>becomes</p>
  
  <pre><code>"{ ["id": "3", ...)
  </code></pre>
  
  <p>When js encounters these values, it interprets them as strings and numeric operations fail on them. Does anyone know some way to prevent <code>json_encode</code> from encoding numbers as strings? Thank you!</p>