Edit: numerictypes.py