fix JSON to store integers