json keys (strings) cast to integer