json and maps with numeric keys