Add example of BigInt-to-string formatting

[sffc]

I also added a couple paragraphs editorializing about why we are using strings, and how we don't intend for strings to set precedent for use elsewhere.