| Fri, 26 Feb 2016 11:53:45 +0100 | immler | finite precision computation to determine sign for comparison | changeset | files |
| Fri, 26 Feb 2016 11:53:45 +0100 | immler | positive precision for truncate; fixed precision for approximation of rationals; code for truncate | changeset | files |
| Fri, 26 Feb 2016 11:53:42 +0100 | immler | compute_real_of_float has not been used as code equation | changeset | files |