A script that makes a JSON Plover dictionary for numbers with the inversion operator