Use pretty_bigint in lots more places.