explain json.dumps for non-string keys in dicts. closes issue6566. Patch contributed Kirubakaran Athmanathan