In this update I fixed some issues with number printing. The previous versions were quite okay, but not perfect. Now, there are many improvements.

E.g., the short, shortest, long, longest, fraction operators returned to goodformat(). Now, they can use getformat() and setformat() to return to the previous formats. Then, the default format is now as before goodformat(6) together with a scalar format of 12 digits, zero rounding and dense vector output. But this format works much better now in matrices.