2013-11-08-09.21.43: src/lib/prettyprint/big/src/standard-prettyprint-mill.api:  Tidying.