PHPのarray_productの大きな数値バージョン