fix json integer format conversion