More example formatting improvements

Commit

9 years ago

More example formatting improvements Generate more realistic example integers, and do some sanity checks on other examples.