Main example for bigint usage.

Also use `///` for documentation instead of `/**`. End comments with `.`.
(same with the ones below)