title: extract integer numbers from JSON string?
body: <p>What would be a simple way to extract integers from long JSON string?</p>
  
  <p>It is very complex, and long (few KB), scanning it with the eyes seems impossibe.
  Just extracting digits is also not good, because so many floats that I need to skip.
  I know I can convert JSON to object and enumerate, but this seems like overkill, because it may containt objects, arrays, arrays inside objects etc.</p>
  
  <p>Would be nice to filter some integers, for example I need numbers between 2000 and 20000.
  I need this to analyze the intermediate state of a running program. Not only my code is writing this data, so I can only scan the existing structure.</p>