結果 : bash string to integer leading zero