Bash Floating Point Divide