mypy

gh-142927: Tachyon: Comma separate thousands and fix singular/plurals… #18698

Job	Run time
Run mypy on Tools/peg_generator	16s
Run mypy on Lib/tomllib	21s
Run mypy on Tools/jit	17s
Run mypy on Lib/_pyrepl	16s
Run mypy on Tools/check-c-api-docs	19s
Run mypy on Tools/build	16s
Run mypy on Lib/test/libregrtest	23s
Run mypy on Tools/clinic	19s
Run mypy on Tools/cases_generator	17s
	2m 44s

Provide feedback