Flesh out the rest of the bignum type tests.
Merge back in the format tests to draft3.