一个简单集合了几种压缩格式的脚本

其实我是想根据mplayer的到的视屏长度计算毫秒数的，mplayer给出的是xx.xxx形式，比如12.03
我的计算脚本

v=12.03
a=`echo $v |cut -d. -f 1`
b=`echo $v |cut -d. -f2`
echo $(($((a*1000))+$b))

现在有些情况下算不来，其实归纳下就是比如
echo $((08)) 会报错，更小的数字不会
bash: 08: 数值太大不可为算数进制的基 （错误符号是 "08"）
而echo $((8))不会
这是什么原因？

08 bash 把它当成8进制了。

v=12.013;set ${v/.*(0)/ };echo $(($1*1000+$2))
12013