Fix integer values in JSON support