Update numeric_types.py