read a b
echo $[10#${a/.}*b/10000]