Apparently, JSON.decode does so recursively