The hackiest script in the world - anything that looks like an int in the input, replace with double its value and output to stdout. Use as follows (on OSX): 1. Copy the json data you want to double from your IDE 2. pbcopy | ./double.py | pbpaste 3. Paste the new json with all the numbers doubled back into your IDE

double.py

#!/usr/bin/env python
 
import re
import sys
 
 
def rep(sval):
    return str(int(sval.group()) * 2)
 
if __name__ == '__main__':
    print re.sub(r'\d+', rep, sys.stdin.read())