title: How to convert Python dict to JSON when some keys are not strings?
body: <p>The JSON equivalent of a Python dict is a JSON object. However its keys must be strings, that's a well-known limitation.</p>
  
  <p>I need to support also boolean and numeric keys. I could make a simple Python value &lt;--> JSON string one-to-one translation:</p>
  
  <pre><code>False &lt;--&gt; "bool:False"
  42 &lt;--&gt; "int:42"
  "Foo" &lt;--&gt; "str:Foo"
  </code></pre>
  
  <p>But I'd like to ask if there is some existing recommendation or some kind of standard for this. Simply anything that it is worth to be compatible with.</p>