Update numtypes.py