@@ -0,0 +1,519 @@
+#!/usr/bin/python%0A%0Adef isfloat(value):%0A  try:%0A    float(value)%0A    return True%0A  except ValueError:%0A    return False%0A%0Aimport sys%0A%0Aif len(sys.argv) == 3:%0A  infile = sys.argv%5B1%5D%0A  outfile = sys.argv%5B2%5D%0Aelse:%0A  infile = raw_input(%22Enter input file:%22)%0A  outfile = raw_input(%22Enter output file:%22)%0A%0Awith open(infile, %22r%22) as gen:%0A  with open(outfile, %22w%22) as out:%0A    for line in gen:%0A        if isfloat(line):%0A            out.write(%22 %22 * 12 + str(int(float(line) * 1000000)) + %22%5Cn%22)%0A        else:%0A            out.write(line)

Add simple script that changes floating points in genesis.json to ints