Make the math module an extension package

In #81313 a new module math.integer was added. It was implemented as the _math_integer extension module, modified to look like a math submodule. This required assigning the integer attribute of the math module, setting sys.modules['math.integer'], patching the __name__ attribute of the new module and the __module__ attribute of its functions (to support help and pickling). Still, some implementation details are visible: sys.modules['_math_integer'], the __spec__ attribute of the new module. Also, it is difficult to stop importing the math.integer module automatically when the math module is imported.

Import machinery in principle supports extension packages and extension submodules, but there is no precedence of this in the stdlib, and it is not trivial to build them. The math module should be compiled into math/__init__.*.so instead of math.*.so, and math.integer correspondingly into math/integer.*.so. I believe this is possible.

Linked PRs

• gh-141363
• gh-144294
• gh-144339
• gh-152352

Bắt đầu bằng cách đọc các PR được liên kết gh-141363, gh-144294, gh-144339 và gh-152352, sau đó lần theo cách mô-đun math và phần mở rộng math.integer được xây dựng và nhập. Kết quả dự kiến là một bố cục gói phần mở rộng tránh việc để lộ _math_integer và siêu dữ liệu đã được vá, cũng như tự động nhập math.integer.