2013-10-12-15.39.24: src/lib/prettyprint/big/src/prettyprinter-g.pkg: Tinkering with core algorithms. Code looks better now, but the output looks worse. Hrm. :-)