Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
From: https://stackoverflow.com/questions/8654051/how-can-i-compare-two-floating-point-numbers-in-bash Fixes belle2#1
- Loading branch information