-
Committer:
Johannes Weißl
-
Author(s):
Johannes Weißl, Sebastian Egner
-
Date:
2013-03-26 13:57:45 UTC
-
Revision ID:
jargon@molb.org-20130326135745-dsnyi5o6x3nsfn5s
Add new option "--float-log-precision" for alternative rounding algorithm.
This is necessary to compare very large and small floats. See bug #1156214
for details.