title: Floating point comparison in shell
body: <p>Can you please suggest to me the syntax for doing floating point comparison in a Bash script? I would ideally like to use it as part of an <code>if</code> statement. Here is a small code snippet :</p>
  
  <pre><code>key1="12.3"
  result="12.2"
  
  if (( $result &lt;= $key1 ))
  then
      # some code here
  fi
  </code></pre>