Editing: fix_numliterals.py