> x1=1234.20 > echo $x1 1234.20 > echo $(printf "%.4f" "$x1") 1234.2000
> x2=1234.2000 > x3=$(echo "$x1"-"$x2" | bc) > echo $x3 0