多倍長整数の実装。要検証