結果 : cast biginteger to integer java