2013-10-25-01.20.35: src/lib/prettyprint/big/src/standard-prettyprint-mill-g.pkg: Good progress beating this into something like final form.