Main example for bigint usage.

Also use `///` for documentation instead of `/**`. End comments with `.`.
This imports seem genuinely useful for the program below, so they shouldn't be hidden.