Bash Floating Point Division Algorithm Definition