The dictionary has numeric keys now. The only time they are converted into strings is by the `json.dump` function. The `load` function converts them back to integers and we use that.