webgovernor/clickingbad — pull request #42 by atomicstack (2013-10-29 15:16:33+00:00)
Title: Use pretty_bigint in lots more places.

Now there's a pretty_bigint(), use it in some more places.