http://bash-edit.com/can-you-use-decimals-in-a-bash-script