Added a simple test for the JSON_DECODE_NO_INT option