title: Bash: check if one decimal number is greater than another decimal number
body: <p>I have a case like this:</p>
  
  <pre><code>string1="some_string"
  string2="some_string"
  int1="0.87"
  int2="${var}"
  </code></pre>
  
  <p><code>$var</code> is the output of some other script, and it has the form <code>0.994343123</code> or <code>0.3454657</code> or whatever (starts with 0. and the biggest value is around <code>0.9972343</code>)</p>
  
  <p>Now, I don't know how bash works, but usually string <code>0.87</code> is never less than or equal to <code>0.9999999</code>, they are just different.</p>
  
  <p>I would need something like this (pseudocode):</p>
  
  <pre><code>if (string1 equals string2 and int1 is less than int2):
      do something;
  else
      do something else.
  </code></pre>
  
  <p>What i would expect is <code>0.87687</code> is greater than <code>0.87</code> (correct?? i was never good at math...)</p>
  
  <p>Can anyone help me with the code for that if??</p>
  
  <p>Thanks in advance!</p>