final formatting chamge on numtypes.py