結果 : bash cast string to integer