json numeric workaround