Add some simple bigint tests.

One of them fails at the moment...