Commit 283ba970 authored by Alexander A. Maly's avatar Alexander A. Maly

Default real numbers output precision improved.

It is now 1+13 significant digits in total, to prevent "strange" results when printing values like 0.1 and to round DBL_MAX down.
parent bdc0e064
Pipeline #701 passed with stages
in 4 minutes and 17 seconds