When JsonFormatter formats a dictionary of <int, object>, the key should be double quoted.