title: floating-point operations with bash
body: <p>how can I transform the string "620/100" into "6.2" in a bash script</p>
  
  <p>The context of my question is about image processing. EXIF data are coding the focal length in fractional format, while I need the corresponding decimal string.</p>
  
  <p>Thanks for helping, Olivier</p>