title: json_encode adding lots of decimal digits
body: <p>Why is this happening? Can I prevent this? (besides passing them as string)</p>
  
  <pre><code>var_dump(json_encode([1002.31, 2002.42]));
  </code></pre>
  
  <p>outputs:</p>
  
  <pre><code>string(39) "[1002.3099999999999,2002.4200000000001]"
  </code></pre>