title: Convert floating point variable to integer?
body: <p>The shell script shown below will show a warning if the page takes more than 6 seconds to load. The problem is that the <code>myduration</code> variable is not an integer. How do I convert it to integer?</p>
  
  <pre><code>myduration=$(curl http://192.168.50.1/mantisbt/view.php?id=1 -w %{time_total}) &gt; /dev/null ; \
  [[ $myduration -gt 1 ]] &amp;&amp; echo "`date +'%y%m%d%H%M%S'
  </code></pre>
  
  <p>It took more than 6 seconds to load the page <code>http://192.168.50.1/mantisbt/view.php?id=1</code></p>