Bash Floating Point Division