More adaptive handling of real output format (integers and high-precision)
Improvement on last change for many-digit numbers
Added significant digits to some of the output formats