Edit: numerictypes.pyi