Pythonの整数型はどのように実装されているのか