結果 : bash cast to integer