Fix soft overflow in JSON integers.