START_DOCUMENT
NUMBER_VALUE JSON_INTEGER 42  42
END_DOCUMENT
