Main example for bigint usage.

Also use `///` for documentation instead of `/**`. End comments with `.`.