'string.format("%q")' writes 'math.mininteger' in hexa, to ensure
it is read back as an integer
1 file changed